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

Debugging code for bug 17815

Browse source
This commit is contained in:
Andrew Garrett 2009-03-06 23:11:07 +00:00
parent 58fdf4f05d
commit 02a84cbd90
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
AbuseFilterVariableHolder.php
View file

@ -44,6 +44,8 @@ class AbuseFilterVariableHolder {
}
function addHolder( $addHolder ) {
if ( !is_object($addHolder) )
throw new MWException( "Invalid argument to AbuseFilterVariableHolder::addHolder" );
$this->mVars = array_merge( $this->mVars, $addHolder->mVars );
}