| Index: trunk/extensions/EditUser/EditUser.php |
| — | — | @@ -11,7 +11,7 @@ |
| 12 | 12 | $dir = dirname(__FILE__) . '/'; |
| 13 | 13 | |
| 14 | 14 | if(!file_exists($dir . substr($wgVersion, 0, 4) . 'EditUser_body.php')) { |
| 15 | | - wfDebug("Your MediaWiki version \"$wgVersion\" is not supported by the EditUser extension"); |
| | 15 | + wfErrorLog("Your MediaWiki version \"$wgVersion\" is not supported by the EditUser extension"); |
| 16 | 16 | return; |
| 17 | 17 | } |
| 18 | 18 | |