[17:21:12] (03PS2) 10Umherirrender: build: Updating mediawiki/mediawiki-phan-config to 0.9.0 [extensions/TemplateData] - 10https://gerrit.wikimedia.org/r/560170 (owner: 10Libraryupgrader) [18:45:25] (03PS1) 10TK-999: Fix CodeMirror overlay alignment on new lines [VisualEditor/VisualEditor] - 10https://gerrit.wikimedia.org/r/560930 (https://phabricator.wikimedia.org/T198278) [19:13:52] 10Cite, 10VisualEditor-MediaWiki-References, 10MediaWiki-Parser, 10MW-1.35-notes (1.35.0-wmf.14; 2020-01-07), and 3 others: does not work anymore - https://phabricator.wikimedia.org/T241303 (10thiemowmde) Not meant as a defense or anything, really just for documentation: * When th... [19:15:47] 10Cite, 10VisualEditor-MediaWiki-References, 10MediaWiki-Parser, 10MW-1.35-notes (1.35.0-wmf.14; 2020-01-07), and 4 others: does not work anymore - https://phabricator.wikimedia.org/T241303 (10thiemowmde) [21:13:17] (03CR) 10Thiemo Kreuz (WMDE): [C: 03+1] Use document.body instead of 'body' as jQuery selector [extensions/WikiEditor] - 10https://gerrit.wikimedia.org/r/557866 (owner: 10Fomafix) [21:14:03] (03CR) 10Fomafix: "> Does this mean we can turn no-global-selector back on in the eslint" [extensions/WikiEditor] - 10https://gerrit.wikimedia.org/r/557866 (owner: 10Fomafix)