Umherirrender has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/402156 )

Change subject: Use namespaced version of IDatabase
......................................................................

Use namespaced version of IDatabase

Change-Id: I44b03c2c7d5a2ffec32188693893afd01fc1af3d
---
M backend/FRDependencyUpdate.php
M backend/FlaggableWikiPage.php
2 files changed, 7 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/FlaggedRevs 
refs/changes/56/402156/1

diff --git a/backend/FRDependencyUpdate.php b/backend/FRDependencyUpdate.php
index 5f552b8..edc3364 100644
--- a/backend/FRDependencyUpdate.php
+++ b/backend/FRDependencyUpdate.php
@@ -3,6 +3,9 @@
  * Class containing update methods for tracking links that
  * are only in the stable version of pages. Used only for caching.
  */
+
+use Wikimedia\Rdbms\IDatabase;
+
 class FRDependencyUpdate {
        protected $title;
        protected $sLinks;
diff --git a/backend/FlaggableWikiPage.php b/backend/FlaggableWikiPage.php
index 49d05f6..a1ccc57 100644
--- a/backend/FlaggableWikiPage.php
+++ b/backend/FlaggableWikiPage.php
@@ -4,6 +4,9 @@
  *
  * FlaggableWikiPage::getTitleInstance() is preferred over constructor calls
  */
+
+use Wikimedia\Rdbms\IDatabase;
+
 class FlaggableWikiPage extends WikiPage {
        /* Process cache variables */
        protected $stable = 0;
@@ -379,7 +382,7 @@
 
        /**
         * Set the page field data loaded from some source
-        * @param \Database|string $data Database row object or "fromdb"
+        * @param IDatabase|string $data Database row object or "fromdb"
         * @return void
         */
        public function loadPageData( $data = 'fromdb' ) {

-- 
To view, visit https://gerrit.wikimedia.org/r/402156
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I44b03c2c7d5a2ffec32188693893afd01fc1af3d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/FlaggedRevs
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to