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

More php4 constructors. Missed these somehow

Browse source
This commit is contained in:
Chad Horohoe 2010-08-30 17:18:13 +00:00
parent 179f0c876a
commit 25e94b039a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
SpecialGadgets.php
View file

@ -23,7 +23,7 @@ class SpecialGadgets extends SpecialPage {
* Constructor
*/
function __construct() {
parent::SpecialPage( 'Gadgets', '', true );
parent::__construct( 'Gadgets', '', true );
}
/**