jenkins-bot has submitted this change and it was merged.
Change subject: Drop unused message from resource loader module
......................................................................
Drop unused message from resource loader module
Change-Id: I2cfbefc4c5107bf47ac1302aa298d8f14492d8e4
---
M repo/resources/Resources.php
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
JanZerebecki: Looks good to me, approved
jenkins-bot: Verified
diff --git a/repo/resources/Resources.php b/repo/resources/Resources.php
index 71cb302..428cfc6 100644
--- a/repo/resources/Resources.php
+++ b/repo/resources/Resources.php
@@ -187,7 +187,6 @@
),
'messages' => array(
'pagetitle',
- 'wikibase-statements',
'wikibase-copyrighttooltip-acknowledge',
'wikibase-anonymouseditwarning',
'wikibase-entity-item',
--
To view, visit https://gerrit.wikimedia.org/r/186346
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2cfbefc4c5107bf47ac1302aa298d8f14492d8e4
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Adrian Lang <[email protected]>
Gerrit-Reviewer: JanZerebecki <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
