Umherirrender has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/338394 )
Change subject: Remove duplicate config key from extension.json
......................................................................
Remove duplicate config key from extension.json
Having PopupsConflictingNavPopupsGadgetName once is enough
Change-Id: I59c15162e20ba209e4bd8e292e2b223ee3cf6638
---
M extension.json
1 file changed, 0 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Popups
refs/changes/94/338394/1
diff --git a/extension.json b/extension.json
index c47f3c5..41af07a 100644
--- a/extension.json
+++ b/extension.json
@@ -58,7 +58,6 @@
"PopupsOptInDefaultState" : "0",
"@PopupsConflictingNavPopupsGadgetName": "@var string:
Navigation popups gadget name",
"PopupsConflictingNavPopupsGadgetName": "Navigation_popups",
- "PopupsConflictingNavPopupsGadgetName": "Navigation_popups",
"@PopupsAPIUseRESTBase": "Whether to use RESTBase rather than
the MediaWiki API for fetching Popups data.",
"PopupsAPIUseRESTBase": false
},
--
To view, visit https://gerrit.wikimedia.org/r/338394
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I59c15162e20ba209e4bd8e292e2b223ee3cf6638
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Popups
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
