wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-23 18:28:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Make isListed public in SpecialCollabPad.php

Browse source 
This was causing Special:SpecialPage to fatal with:

PHP Fatal Error: Access level to SpecialCollabPad::isListed() must be public
(as in class SpecialPage) or weaker

Bug: T183883
Change-Id: Ic7cbdddd3106776898ec7faa4fbaed508a6b1c08
This commit is contained in:
Paladox 2018-01-02 01:00:08 +00:00
parent 93b4371954
commit fc03706278
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ve-mw-collab/SpecialCollabPad.php
View file

@ -25,7 +25,7 @@ class SpecialCollabPad extends SpecialPage {
return !!$wgVisualEditorRebaserURL && parent::userCanExecute( $user );
}
protected function isListed() {
public function isListed() {
global $wgVisualEditorRebaserURL;
return !!$wgVisualEditorRebaserURL;
}