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

Replacing by in a few of most used extensions and renaming Special....php to ..._body.php

Browse source
This commit is contained in:
Tim Weyer 2011-12-18 10:27:44 +00:00
parent 76934e4be2
commit 00bb69a792
Notes: Tim Weyer 2011-12-18 10:27:44 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/106556
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
SpecialCite.php
View file

@ -25,7 +25,7 @@ $wgExtensionCredits['specialpage'][] = array(
$dir = dirname( __FILE__ ) . '/';
# Internationalisation file
$wgExtensionMessagesFiles['SpecialCite'] = $dir . 'SpecialCite.i18n.php';
$wgExtensionAliasesFiles['SpecialCite'] = $dir . 'SpecialCite.alias.php';
$wgExtensionMessagesFiles['SpecialCiteAliases'] = $dir . 'SpecialCite.alias.php';
$wgHooks['SkinTemplateBuildNavUrlsNav_urlsAfterPermalink'][] = 'wfSpecialCiteNav';
$wgHooks['SkinTemplateToolboxEnd'][] = 'wfSpecialCiteToolbox';