wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-23 21:53:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Check whether AbuseFilter::$editboxName is set before using it

Browse source 
Bug: 60981
Change-Id: I6b769d05865ea0865c6e0e9837968014c6ea70c3
This commit is contained in:
Marius Hoch 2014-02-07 16:05:52 +01:00
parent 7308dbe193
commit 044d86b276
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
AbuseFilter.hooks.php
View file

@ -606,7 +606,7 @@ class AbuseFilterHooks {
* @return bool
*/
public static function onMakeGlobalVariablesScript( array &$vars ) {
if ( AbuseFilter::$editboxName !== null ) {
if ( isset( AbuseFilter::$editboxName ) && AbuseFilter::$editboxName !== null ) {
$vars['abuseFilterBoxName'] = AbuseFilter::$editboxName;
}