2 # Not a valid entry point, skip unless MEDIAWIKI is defined
3 if (!defined('MEDIAWIKI')) {
5 To install my extension, put the following line in LocalSettings.php:
6 require_once( "\$IP/extensions/MyExtension/MyExtension.php" );
11 $wgAutoloadClasses['MyExtension'] = dirname(__FILE__
) . '/MyExtension_body.php';
12 $wgSpecialPages['MyExtension'] = 'MyExtension';
13 $wgExtensionMessagesFiles['MyExtension'] = dirname(__FILE__
) . '/MyExtension.i18n.php';