jenkins-bot has submitted this change and it was merged.

Change subject: Convince jsduck mw.Title exists
......................................................................


Convince jsduck mw.Title exists

Apparently we didn't have any functions taking or returning
an mw.Title object, which is kind of concerning. But now that
we're introducing one, we need jsduck to shut up about mw.Title
not existing.

Change-Id: I04028e0e3d55ed9901878cce593f857183246ab3
---
M .docs/categories.json
M .docs/external.js
M .docs/mw-categories.json
3 files changed, 27 insertions(+), 0 deletions(-)

Approvals:
  Krinkle: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.docs/categories.json b/.docs/categories.json
index cfc55f9..36d12e5 100644
--- a/.docs/categories.json
+++ b/.docs/categories.json
@@ -18,6 +18,17 @@
                ]
        },
        {
+               "name": "Upstream (MediaWiki)",
+               "groups": [
+                       {
+                               "name": "MediaWiki",
+                               "classes": [
+                                       "mw.Title"
+                               ]
+                       }
+               ]
+       },
+       {
                "name": "VisualEditor (core)",
                "groups": [
                        {
diff --git a/.docs/external.js b/.docs/external.js
index e9010af..a2ae41e 100644
--- a/.docs/external.js
+++ b/.docs/external.js
@@ -20,3 +20,8 @@
 /**
  * @property {string} [dateString=""] Formatted date or empty string
  */
+
+/**
+ * @class mw.Title
+ * @source <https://doc.wikimedia.org/mediawiki-core/master/js/#!/api/mw.Title>
+ */
diff --git a/.docs/mw-categories.json b/.docs/mw-categories.json
index 89067d6..755c08d 100644
--- a/.docs/mw-categories.json
+++ b/.docs/mw-categories.json
@@ -16,5 +16,16 @@
                                ]
                        }
                ]
+       },
+       {
+               "name": "Upstream (MediaWiki)",
+               "groups": [
+                       {
+                               "name": "MediaWiki",
+                               "classes": [
+                                       "mw.Title"
+                               ]
+                       }
+               ]
        }
 ]

-- 
To view, visit https://gerrit.wikimedia.org/r/169617
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I04028e0e3d55ed9901878cce593f857183246ab3
Gerrit-PatchSet: 4
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Catrope <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to