wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-24 06:03:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove typehint to avoid fatal error

Browse source 
Temporarily remove the typehint, as it causes some fatals. This doesn't
solve the underlying problem, for which we should first investigate with
I35bfc483a0c69a5cbd38eae8ba299189955fa1ec.

Bug: T208144
Change-Id: I0fdda51010243690ff3806c16d4e203c9ccd8e0a
This commit is contained in:
Daimona Eaytoy 2018-11-07 11:23:50 +01:00
parent e580a51603
commit 6658a24554
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/AbuseFilter.php
View file

@ -1099,7 +1099,7 @@ class AbuseFilter {
* @return Status
*/
public static function filterAction(
AbuseFilterVariableHolder $vars, Title $title, $group, User $user, $mode = 'execute'
AbuseFilterVariableHolder $vars, $title, $group, User $user, $mode = 'execute'
) {
global $wgRequest, $wgAbuseFilterRuntimeProfile, $wgAbuseFilterLogIP;