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