jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/402850 )
Change subject: Declare RevisionData::$siteId property
......................................................................
Declare RevisionData::$siteId property
Reported by Phan.
Change-Id: I94ba40d4400c57c0a128ebb389903ad7cd6478fe
---
M client/includes/RecentChanges/RevisionData.php
1 file changed, 5 insertions(+), 0 deletions(-)
Approvals:
Lucas Werkmeister (WMDE): Looks good to me, approved
jenkins-bot: Verified
diff --git a/client/includes/RecentChanges/RevisionData.php
b/client/includes/RecentChanges/RevisionData.php
index 7ab6d63..e7da427 100644
--- a/client/includes/RecentChanges/RevisionData.php
+++ b/client/includes/RecentChanges/RevisionData.php
@@ -34,6 +34,11 @@
protected $commentHtml;
/**
+ * @var string
+ */
+ private $siteId;
+
+ /**
* @var array
*/
protected $changeParams;
--
To view, visit https://gerrit.wikimedia.org/r/402850
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I94ba40d4400c57c0a128ebb389903ad7cd6478fe
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Thiemo Kreuz (WMDE) <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Aude <[email protected]>
Gerrit-Reviewer: Lucas Werkmeister (WMDE) <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
