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

Change subject: Consistently use '@deprecated since' in JavaScript code
......................................................................


Consistently use '@deprecated since' in JavaScript code

JSDuck doesn't actually handle the 'since', but IMO that's a bug in JSDuck.

Change-Id: I9142a3c46ffc2890f5b58133e44caf5873c1229f
---
M resources/src/mediawiki/mediawiki.js
M resources/src/mediawiki/mediawiki.user.js
2 files changed, 3 insertions(+), 3 deletions(-)

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



diff --git a/resources/src/mediawiki/mediawiki.js 
b/resources/src/mediawiki/mediawiki.js
index f6154ee..1591a94 100644
--- a/resources/src/mediawiki/mediawiki.js
+++ b/resources/src/mediawiki/mediawiki.js
@@ -471,7 +471,7 @@
                 *
                 * This was reserved for future use but never ended up being 
used.
                 *
-                * @deprecated since 1.22: Let deprecated identifiers keep 
their original name
+                * @deprecated since 1.22 Let deprecated identifiers keep their 
original name
                 *  and use mw.log#deprecate to create an access container for 
tracking.
                 * @property
                 */
diff --git a/resources/src/mediawiki/mediawiki.user.js 
b/resources/src/mediawiki/mediawiki.user.js
index 8344111..0cf897a 100644
--- a/resources/src/mediawiki/mediawiki.user.js
+++ b/resources/src/mediawiki/mediawiki.user.js
@@ -90,7 +90,7 @@
 
                /**
                 * @inheritdoc #getName
-                * @deprecated since 1.20 use #getName instead
+                * @deprecated since 1.20 Use #getName instead
                 */
                name: function () {
                        return user.getName();
@@ -126,7 +126,7 @@
 
                /**
                 * @inheritdoc #isAnon
-                * @deprecated since 1.20 use #isAnon instead
+                * @deprecated since 1.20 Use #isAnon instead
                 */
                anonymous: function () {
                        return user.isAnon();

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I9142a3c46ffc2890f5b58133e44caf5873c1229f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz DziewoƄski <matma....@gmail.com>
Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to