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

Add Special:CiteThisPage to the 'pagetools' group of Special:SpecialPages

Browse source 
Change-Id: I00edb18c0e3b4938b6f0fbb5758f77be9621952b
This commit is contained in:
James D. Forrester 2014-10-28 12:04:50 -07:00
parent ee58c5d625
commit f7db718d4a
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
CiteThisPage.php
View file

@ -30,6 +30,7 @@ $wgHooks['SkinTemplateBuildNavUrlsNav_urlsAfterPermalink'][] = 'efCiteThisPageNa
$wgHooks['SkinTemplateToolboxEnd'][] = 'efSpecialCiteThisPageToolbox';
$wgSpecialPages['CiteThisPage'] = 'SpecialCiteThisPage';
$wgSpecialPageGroups['CiteThisPage'] = 'pagetools';
$wgAutoloadClasses['SpecialCiteThisPage'] = __DIR__ . '/SpecialCiteThisPage.php';
// Resources