| Index: trunk/extensions/EmergencyDeSysop/EmergencyDeSysop.php |
| — | — | @@ -3,7 +3,7 @@ |
| 4 | 4 | if (!defined('MEDIAWIKI')) { |
| 5 | 5 | echo <<<EOT |
| 6 | 6 | To install our extension, put the following line in LocalSettings.php: |
| 7 | | -require_once( "$IP/extensions/EmergencyDeSysop/EmergencyDeSysop" ); |
| | 7 | +require_once( "\$IP/extensions/EmergencyDeSysop/EmergencyDeSysop" ); |
| 8 | 8 | EOT; |
| 9 | 9 | exit( 1 ); |
| 10 | 10 | } |