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

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

Browse source
This commit is contained in:
jenkins-bot 2014-10-31 19:38:59 +00:00 committed by Gerrit Code Review
parent 06cdb9ff76 f7db718d4a
commit e8ce487226
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'; $wgHooks['SkinTemplateToolboxEnd'][] = 'efSpecialCiteThisPageToolbox';
$wgSpecialPages['CiteThisPage'] = 'SpecialCiteThisPage'; $wgSpecialPages['CiteThisPage'] = 'SpecialCiteThisPage';
$wgSpecialPageGroups['CiteThisPage'] = 'pagetools';
$wgAutoloadClasses['SpecialCiteThisPage'] = __DIR__ . '/SpecialCiteThisPage.php'; $wgAutoloadClasses['SpecialCiteThisPage'] = __DIR__ . '/SpecialCiteThisPage.php';
// Resources // Resources