jenkins-bot has submitted this change and it was merged.
Change subject: Link to bug in TODO
......................................................................
Link to bug in TODO
Change-Id: I2096f93310ba79df9573251d64cb7ad54f6f0a93
---
M resources/subscribing/ext.centralNotice.display.state.js
1 file changed, 3 insertions(+), 2 deletions(-)
Approvals:
Ejegg: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/subscribing/ext.centralNotice.display.state.js
b/resources/subscribing/ext.centralNotice.display.state.js
index 06bfab5..a1102d0 100644
--- a/resources/subscribing/ext.centralNotice.display.state.js
+++ b/resources/subscribing/ext.centralNotice.display.state.js
@@ -34,9 +34,10 @@
BANNER_SHOWN: new Status( 'banner_shown', 6
)
},
- // As a temporary measure, we minify banner history logs. Using
a code
- // for hide reasons helps us do that.
+ // Until T114078 is closed, we minify banner history logs. This
lookup
+ // table maps from hide reason string to a numeric code.
REASONS = {
+ // Any reason not listed here will be stored as "other".
'other': 0,
'close': 1,
'waitdate': 2,
--
To view, visit https://gerrit.wikimedia.org/r/242063
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2096f93310ba79df9573251d64cb7ad54f6f0a93
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/CentralNotice
Gerrit-Branch: master
Gerrit-Owner: Awight <[email protected]>
Gerrit-Reviewer: AndyRussG <[email protected]>
Gerrit-Reviewer: Cdentinger <[email protected]>
Gerrit-Reviewer: Ejegg <[email protected]>
Gerrit-Reviewer: Ssmith <[email protected]>
Gerrit-Reviewer: XenoRyet <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits