| Index: trunk/extensions/RDFIO/specials/SpecialARC2Admin_body.php |
| — | — | @@ -4,7 +4,7 @@ |
| 5 | 5 | * @author samuel.lampa@gmail.com |
| 6 | 6 | * @package SMWRDFConnector |
| 7 | 7 | */ |
| 8 | | -class SpecialARC2Admin extends SpecialPage { |
| | 8 | +class ARC2Admin extends SpecialPage { |
| 9 | 9 | |
| 10 | 10 | protected $m_issysop; |
| 11 | 11 | |
| Index: trunk/extensions/RDFIO/specials/SpecialARC2Admin.php |
| — | — | @@ -3,14 +3,14 @@ |
| 4 | 4 | if ( !defined( 'MEDIAWIKI' ) ) { |
| 5 | 5 | echo <<<EOT |
| 6 | 6 | To install my extension, put the following line in LocalSettings.php: |
| 7 | | -require_once( "\$IP/extensions/RDFIO/specials/SpecialARC2Admin.php" ); |
| | 7 | +require_once( "\$IP/extensions/RDFIO/specials/ARC2Admin.php" ); |
| 8 | 8 | EOT; |
| 9 | 9 | exit( 1 ); |
| 10 | 10 | } |
| 11 | 11 | |
| 12 | 12 | $wgExtensionCredits['specialpage'][] = array( |
| 13 | 13 | 'path' => __FILE__, |
| 14 | | - 'name' => 'SpecialARC2Admin', |
| | 14 | + 'name' => 'ARC2Admin', |
| 15 | 15 | 'author' => 'Samuel Lampa', |
| 16 | 16 | 'url' => 'http://www.mediawiki.org/wiki/Extension:SMWRDFConnector', |
| 17 | 17 | 'descriptionmsg' => 'rdfio-arc2admin-desc', |
| — | — | @@ -19,7 +19,7 @@ |
| 20 | 20 | |
| 21 | 21 | $dir = dirname( __FILE__ ) . '/'; |
| 22 | 22 | |
| 23 | | -$wgAutoloadClasses['SpecialARC2Admin'] = $dir . 'SpecialARC2Admin_body.php'; # Tell MediaWiki to load the extension body. |
| 24 | | -$wgExtensionMessagesFiles['SpecialARC2Admin'] = $dir . '../RDFIO.i18n.php'; |
| 25 | | -$wgExtensionAliasFiles['SpecialARC2Admin'] = $dir . '../RDFIO.alias.php'; |
| 26 | | -$wgSpecialPages['SpecialARC2Admin'] = 'SpecialARC2Admin'; # Let MediaWiki know about your new special page. |
| | 23 | +$wgAutoloadClasses['ARC2Admin'] = $dir . 'SpecialARC2Admin_body.php'; # Tell MediaWiki to load the extension body. |
| | 24 | +$wgExtensionMessagesFiles['ARC2Admin'] = $dir . '../RDFIO.i18n.php'; |
| | 25 | +$wgExtensionAliasFiles['ARC2Admin'] = $dir . '../RDFIO.alias.php'; |
| | 26 | +$wgSpecialPages['ARC2Admin'] = 'ARC2Admin'; # Let MediaWiki know about your new special page. |