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

Fix supposedly nullable argument

Browse source 
Change-Id: I81c467ce3483096c98041412a664b3a26735118a
This commit is contained in:
Matěj Suchánek 2018-03-09 16:16:12 +01:00
parent d9f0bf1ff0
commit 5ae26bb5c6
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
includes/AbuseFilter.hooks.php
View file

@ -501,11 +501,11 @@ class AbuseFilterHooks {
}
/**
* @param DatabaseUpdater|null $updater
* @param DatabaseUpdater $updater
* @throws MWException
* @return bool
*/
public static function onLoadExtensionSchemaUpdates( $updater = null ) {
public static function onLoadExtensionSchemaUpdates( DatabaseUpdater $updater ) {
$dir = dirname( __DIR__ );
if ( $updater->getDB()->getType() == 'mysql' || $updater->getDB()->getType() == 'sqlite' ) {