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

Nuke some more unused globals

Browse source
This commit is contained in:
Sam Reed 2010-07-24 21:12:27 +00:00
parent 56eb72204c
commit 9edea873d9
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_body.php
View file

@ -14,7 +14,7 @@ class SpecialCite extends SpecialPage {
} }
function execute( $par ) { function execute( $par ) {
global $wgOut, $wgRequest, $wgUseTidy; global $wgRequest, $wgUseTidy;
wfLoadExtensionMessages( 'SpecialCite' ); wfLoadExtensionMessages( 'SpecialCite' );
// Having tidy on causes whitespace and <pre> tags to // Having tidy on causes whitespace and <pre> tags to