| Index: trunk/extensions/examples/HelloWorld/HelloWorld.php |
| — | — | @@ -28,7 +28,7 @@ |
| 29 | 29 | if ( !defined( 'MEDIAWIKI' ) ) { |
| 30 | 30 | echo <<<EOT |
| 31 | 31 | To install this extension, put the following line in LocalSettings.php: |
| 32 | | -require_once( "\$IP/extensions/HelloWorld/HelloWorld.php" );\n |
| | 32 | +require_once( "\$IP/extensions/examples/HelloWorld/HelloWorld.php" );\n |
| 33 | 33 | EOT; |
| 34 | 34 | exit( 1 ); |
| 35 | 35 | } |
| Index: trunk/extensions/examples/HelloWorld/INSTALL |
| — | — | @@ -3,7 +3,7 @@ |
| 4 | 4 | * Download the latest available version and extract it to your wiki extension directory. |
| 5 | 5 | * Add the following line to LocalSettings.php: |
| 6 | 6 | |
| 7 | | - require_once( "$IP/extensions/HelloWorld/HelloWorld.php" ); |
| | 7 | + require_once( "$IP/extensions/examples/HelloWorld/HelloWorld.php" ); |
| 8 | 8 | |
| 9 | 9 | * Check out the Special:HelloWorld page to verify the installation. |
| 10 | 10 | |