wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-27 15:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add missing use for namespace Wikimedia\Rdbms

Browse source 
Change-Id: I262ff68fb923ae43f191e167d1b1de3e70c2e236
This commit is contained in:
Umherirrender 2018-04-05 16:11:01 +02:00
parent 5711139849
commit c23d715c33
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/pagers/AbuseLogPager.php
View file

@ -1,5 +1,7 @@
<?php
use Wikimedia\Rdbms\ResultWrapper;
class AbuseLogPager extends ReverseChronologicalPager {
/**
* @var SpecialAbuseLog