[02:15:56] <wikibugs>	 (PS1) Yaron Koren: Remove use of semi-deprecated wgMonthNamesShort [extensions/PageForms] - https://gerrit.wikimedia.org/r/502664
[02:18:08] <wikibugs>	 (PS2) Yaron Koren: Remove use of semi-deprecated wgMonthNamesShort [extensions/PageForms] - https://gerrit.wikimedia.org/r/502664
[03:11:10] <wikibugs>	 (CR) Jforrester: [C: +2] Remove use of semi-deprecated wgMonthNamesShort [extensions/PageForms] - https://gerrit.wikimedia.org/r/502664 (owner: Yaron Koren)
[03:14:56] <wikibugs>	 (Merged) jenkins-bot: Remove use of semi-deprecated wgMonthNamesShort [extensions/PageForms] - https://gerrit.wikimedia.org/r/502664 (owner: Yaron Koren)
[03:17:00] <wikibugs>	 (CR) jenkins-bot: Remove use of semi-deprecated wgMonthNamesShort [extensions/PageForms] - https://gerrit.wikimedia.org/r/502664 (owner: Yaron Koren)