Jeroen De Dauw has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/245979

Change subject: Remove dead field
......................................................................

Remove dead field

Change-Id: I77dc4c38ed571d752a027424ae09177d09661e22
---
M lib/includes/changes/ChangeRow.php
1 file changed, 0 insertions(+), 8 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase 
refs/changes/79/245979/1

diff --git a/lib/includes/changes/ChangeRow.php 
b/lib/includes/changes/ChangeRow.php
index ad2058b..83067bc 100644
--- a/lib/includes/changes/ChangeRow.php
+++ b/lib/includes/changes/ChangeRow.php
@@ -17,14 +17,6 @@
 class ChangeRow implements Change {
 
        /**
-        * Field for caching the linked user.
-        *
-        * @since 0.1
-        * @var User|bool
-        */
-       private $user = false;
-
-       /**
         * The fields of the object.
         * field name (w/o prefix) => value
         *

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I77dc4c38ed571d752a027424ae09177d09661e22
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com>

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

Reply via email to