jenkins-bot has submitted this change and it was merged.
Change subject: Revert "Re-add null appendix tab messages to extension.json"
......................................................................
Revert "Re-add null appendix tab messages to extension.json"
This reverts commit c4a1e2a3f7b1f0b6581ad6137eecdcb1434867ae.
Bug: T125249
Change-Id: Ifebfb7979e05efe1bd723e4f84f6e43088c9c85e
(cherry picked from commit 03a10bc4430c404fc6a78b09052f0303574a1ba8)
---
M extension.json
1 file changed, 1 insertion(+), 7 deletions(-)
Approvals:
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index 33ccff2..ab99cf3 100644
--- a/extension.json
+++ b/extension.json
@@ -53,13 +53,7 @@
"editlocaldescriptionsource":
"visualeditor-ca-editlocaldescriptionsource",
"createlocaldescriptionsource":
"visualeditor-ca-createlocaldescriptionsource",
"editsection": null,
- "editsectionsource":
"visualeditor-ca-editsource-section",
- "editappendix": null,
- "editsourceappendix": null,
- "createappendix": null,
- "createsourceappendix": null,
- "editsectionappendix": null,
- "editsectionsourceappendix": null
+ "editsectionsource":
"visualeditor-ca-editsource-section"
},
"VisualEditorShowBetaWelcome": true,
"VisualEditorParsoidHTTPProxy": false,
--
To view, visit https://gerrit.wikimedia.org/r/271173
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ifebfb7979e05efe1bd723e4f84f6e43088c9c85e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: wmf/1.27.0-wmf.13
Gerrit-Owner: Alex Monk <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits