[05:26:26] <grrrit-wm>	 (PS2) AndyRussG: Provide BannerShowHideCountDate as a mixin [extensions/CentralNotice] - https://gerrit.wikimedia.org/r/181239 (owner: Awight)
[07:06:57] <grrrit-wm>	 (CR) AndyRussG: "Just given this a quick first glance, looks good so far! Question: was it intentional that the deletion of BannerDiet.js is rolled in here" [extensions/CentralNotice] - https://gerrit.wikimedia.org/r/181244 (owner: Awight)
[07:08:17] <grrrit-wm>	 (CR) AndyRussG: "Great!! :) Aside from the minor issues noted in comments-- does it makes sense to proceed with the mixin-ization of these features via cop" (2 comments) [extensions/CentralNotice] - https://gerrit.wikimedia.org/r/181239 (owner: Awight)