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 "Set visiblity for functions on SpecialCiteThisPage"

Browse source
This commit is contained in:
jenkins-bot 2014-10-07 19:31:52 +00:00 committed by Gerrit Code Review
parent 0f7ad14f43 80bbb353b1
commit e21d42795e
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
SpecialCiteThisPage.php
View file

@ -1,11 +1,11 @@
<?php <?php
class SpecialCiteThisPage extends SpecialPage { class SpecialCiteThisPage extends SpecialPage {
function __construct() { public function __construct() {
parent::__construct( 'CiteThisPage' ); parent::__construct( 'CiteThisPage' );
} }
function execute( $par ) { public function execute( $par ) {
global $wgUseTidy; global $wgUseTidy;
// Having tidy on causes whitespace and <pre> tags to // Having tidy on causes whitespace and <pre> tags to
@ -59,7 +59,6 @@ class SpecialCiteThisPage extends SpecialPage {
Xml::closeElement( 'label' ) . Xml::closeElement( 'label' ) .
Xml::closeElement( 'form' ) Xml::closeElement( 'form' )
); );
} }
} }