[07:25:08] <jeblad>	 Anyone with a pointer to a Pab task describing why the wikisyntax highlighting was turned off?
[07:25:37] <jeblad>	 https://meta.wikimedia.org/wiki/Community_Tech/Wikitext_editor_syntax_highlighting#Aug_2.2C_2017
[07:42:04] <jeblad>	 Oki, T172458
[07:42:04] <stashbot>	 T172458: CodeMirror must not embed 5KB of config on every page view - https://phabricator.wikimedia.org/T172458
[23:15:17] <srdjan_m>	 hm... is it just me or are the badges for featured and good articles missing from interwiki lists?
[23:16:20] <srdjan_m>	 i'm not seeing any here https://en.wikipedia.org/wiki/Game_of_Thrones despite the arabic, finnish and other wikis having the badge https://www.wikidata.org/wiki/Q23572#sitelinks-wikipedia