wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-23 23:24:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

* adding to proper group on Special:SpecialPages

Browse source
This commit is contained in:
Danny B. 2008-07-12 01:15:55 +00:00
parent 13efba89e5
commit e1d0b185fc
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Cite.php
View file

@ -36,6 +36,7 @@ $wgExtensionCredits['parserhook'][] = array(
$wgParserTestFiles[] = dirname( __FILE__ ) . "/citeParserTests.txt";
$wgExtensionMessagesFiles['Cite'] = dirname( __FILE__ ) . "/Cite.i18n.php";
$wgAutoloadClasses['Cite'] = dirname( __FILE__ ) . "/Cite_body.php";
$wgSpecialPageGroups['Cite'] = 'pagetools';
define( 'CITE_DEFAULT_GROUP', '');
/**