wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-30 17:34:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

Type hint IReadableDatabase in Search

Browse source 
Follow-up: I01a1aa0ddbc756226d8e3404ac1cc3350ad5df64
Change-Id: Ifef8867aa2583cf65115b4764f9cceae296161bc
This commit is contained in:
Umherirrender 2024-03-25 23:59:48 +01:00
parent fe94aa9e2e
commit 030fb699f7
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/Search.php
View file

@ -22,7 +22,7 @@ namespace MediaWiki\Extension\ReplaceText;
use MediaWiki\Config\Config; use MediaWiki\Config\Config;
use MediaWiki\Title\Title; use MediaWiki\Title\Title;
use Wikimedia\Rdbms\IConnectionProvider; use Wikimedia\Rdbms\IConnectionProvider;
use Wikimedia\Rdbms\IDatabase; use Wikimedia\Rdbms\IReadableDatabase;
use Wikimedia\Rdbms\IResultWrapper; use Wikimedia\Rdbms\IResultWrapper;
class Search { class Search {
@ -113,7 +113,7 @@ class Search {
} }
/** /**
* @param IDatabase $dbr * @param IReadableDatabase $dbr
* @param string $column * @param string $column
* @param string $regex * @param string $regex
* @return string query condition for regex * @return string query condition for regex