[10:47:02] See you on libera! [11:26:15] (03PS3) 10WMDE-Fisch: [WIP][POC] Fix text formatting options [VisualEditor/VisualEditor] - 10https://gerrit.wikimedia.org/r/683829 [11:35:15] (03PS1) 10WMDE-Fisch: Check if module exists before using it [unicodejs] - 10https://gerrit.wikimedia.org/r/693555 [18:11:28] 10VisualEditor, 10MediaWiki-extensions-FlaggedRevs: VisualEditor and New Wikitext Editor contents get misaligined by FlaggedRevs "Unchecked" box - https://phabricator.wikimedia.org/T283427 (10Mainframe98) [18:14:57] 10VisualEditor, 10MediaWiki-extensions-FlaggedRevs: VisualEditor contents get misaligined by FlaggedRevs "Unchecked" box - https://phabricator.wikimedia.org/T283427 (10Honischboy) [18:51:25] 10VisualEditor, 10MediaWiki-extensions-FlaggedRevs: VisualEditor contents get misaligined by FlaggedRevs "Unchecked" box - https://phabricator.wikimedia.org/T283427 (10Johannnes89) There is a similar problem with Wikitexteditor 2017: When using the search option, wrong parts of the page are being highlighted –... [18:57:04] 10VisualEditor: [Feature request] Mute Page Notice in VE - https://phabricator.wikimedia.org/T283429 (10Zabe) [19:02:45] 10VisualEditor, 10MediaWiki-extensions-FlaggedRevs: VisualEditor contents get misaligined by FlaggedRevs "Unchecked" box - https://phabricator.wikimedia.org/T283427 (10Johannnes89) This problem occurs in all namespaces and in all articles, not just those with pending changes / „unchecked“ box. So the bug is li... [19:05:56] 10VisualEditor, 10VisualEditor-MediaWiki-2017WikitextEditor, 10MediaWiki-extensions-FlaggedRevs: VisualEditor / Wikitext Editor contents get misaligned - https://phabricator.wikimedia.org/T283427 (10Johannnes89)