jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/402124 )
Change subject: Use namespaced version of IDatabase and ResultWrapper ...................................................................... Use namespaced version of IDatabase and ResultWrapper Change-Id: Ia2db1e1e3780895b3d529191d270102e36d3eb0e --- M src/SpecialPage.php 1 file changed, 2 insertions(+), 2 deletions(-) Approvals: MaxSem: Looks good to me, approved jenkins-bot: Verified diff --git a/src/SpecialPage.php b/src/SpecialPage.php index bcdefe1..3982c88 100644 --- a/src/SpecialPage.php +++ b/src/SpecialPage.php @@ -24,13 +24,13 @@ use Html; use HTMLForm; use HTMLTextField; -use IDatabase; use OutputPage; use QueryPage; -use ResultWrapper; use Skin; use Status; use Title; +use Wikimedia\Rdbms\IDatabase; +use Wikimedia\Rdbms\ResultWrapper; /** * A special page for searching Page Assessments. Can also be transcluded (in which case the -- To view, visit https://gerrit.wikimedia.org/r/402124 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia2db1e1e3780895b3d529191d270102e36d3eb0e Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/PageAssessments Gerrit-Branch: master Gerrit-Owner: Umherirrender <umherirrender_de...@web.de> Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com> Gerrit-Reviewer: Thiemo Kreuz (WMDE) <thiemo.kr...@wikimedia.de> Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
