wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-24 10:48:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Make canUserEditPage() static

Browse source 
This shuts up a strict standards notice

Change-Id: I59ce775169965531dd10051418c927b769613abb
This commit is contained in:
Catrope 2012-05-31 02:41:21 -07:00
parent b59d49a80d
commit 3112448bde
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
VisualEditor.hooks.php
View file

@ -36,7 +36,7 @@ class VisualEditorHooks {
* Allow edits to the namespace only by admins
* Code used from Extension:NamespaceProtection
*/
function canUserEditPage( &$title, &$user, $action, &$result ){
public static function canUserEditPage( &$title, &$user, $action, &$result ){
global $wgUser, $wgNamespaceProtection;
if ( array_key_exists( $title->mNamespace, $wgNamespaceProtection ) ) {