jenkins-bot has submitted this change and it was merged.
Change subject: Fix mediawiki.startUp documentation
......................................................................
Fix mediawiki.startUp documentation
Follow-up to I41177b730a7370b4c9ca13d758d9f8493ff5192e
Change-Id: I4a7bfd7f4efc719bda2ae8680555c6b27e6ccfe2
---
M resources/src/mediawiki/mediawiki.startUp.js
1 file changed, 1 insertion(+), 2 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/src/mediawiki/mediawiki.startUp.js
b/resources/src/mediawiki/mediawiki.startUp.js
index 8032aa2..028784c 100644
--- a/resources/src/mediawiki/mediawiki.startUp.js
+++ b/resources/src/mediawiki/mediawiki.startUp.js
@@ -1,6 +1,5 @@
-/**
+/*!
* Auto-register from pre-loaded startup scripts
- * @ignore (this line will make JSDuck happy)
*/
( function ( $ ) {
'use strict';
--
To view, visit https://gerrit.wikimedia.org/r/189919
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I4a7bfd7f4efc719bda2ae8680555c6b27e6ccfe2
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
