jenkins-bot has submitted this change and it was merged.
Change subject: doc: Use wildcards for Desktop/Mobile …Context and …Surface for
simplicity of extension
......................................................................
doc: Use wildcards for Desktop/Mobile …Context and …Surface for simplicity of
extension
Change-Id: Ib057e3a3af61dd61d05f0be2e7c45ee35115a51b
---
M .docs/categories.json
1 file changed, 2 insertions(+), 6 deletions(-)
Approvals:
Esanders: Looks good to me, approved
jenkins-bot: Verified
diff --git a/.docs/categories.json b/.docs/categories.json
index d897c1f..b831748 100644
--- a/.docs/categories.json
+++ b/.docs/categories.json
@@ -108,12 +108,8 @@
"name": "General",
"classes": [
"ve.ui",
- "ve.ui.Surface",
- "ve.ui.DesktopSurface",
- "ve.ui.MobileSurface",
- "ve.ui.Context",
- "ve.ui.DesktopContext",
- "ve.ui.MobileContext",
+ "ve.ui.*Surface",
+ "ve.ui.*Context",
"ve.ui.Overlay",
"ve.ui.Toolbar",
"ve.ui.TargetToolbar",
--
To view, visit https://gerrit.wikimedia.org/r/167643
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib057e3a3af61dd61d05f0be2e7c45ee35115a51b
Gerrit-PatchSet: 1
Gerrit-Project: VisualEditor/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Jforrester <[email protected]>
Gerrit-Reviewer: Esanders <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
