[01:01:46] (03CR) 10Divec: [C: 032] TargetWidget: 'change' on document transact, not surface history [VisualEditor/VisualEditor] - 10https://gerrit.wikimedia.org/r/472643 (owner: 10Esanders) [01:04:04] (03Merged) 10jenkins-bot: TargetWidget: 'change' on document transact, not surface history [VisualEditor/VisualEditor] - 10https://gerrit.wikimedia.org/r/472643 (owner: 10Esanders) [01:06:10] (03CR) 10jenkins-bot: TargetWidget: 'change' on document transact, not surface history [VisualEditor/VisualEditor] - 10https://gerrit.wikimedia.org/r/472643 (owner: 10Esanders) [10:07:31] 10VisualEditor: Loading an edit page using veaction=edit in single-tab mode changes URL to an incorrect state - https://phabricator.wikimedia.org/T209163 (10Seb35) This wrong behaviour is present in the three modes (other than the mode "two buttons") when wgVisualEditorUseSingleEditTab is true. It should be mod... [16:06:35] (03CR) 10Divec: [C: 032] Make table selections immutable (refactor #expand) [VisualEditor/VisualEditor] - 10https://gerrit.wikimedia.org/r/471011 (owner: 10Esanders) [17:45:09] (03PS7) 10Esanders: Make table selections immutable (refactor #expand) [VisualEditor/VisualEditor] - 10https://gerrit.wikimedia.org/r/471011 [18:16:08] 10WikiEditor: Merge WikiEdtior into the MediaWiki Core - https://phabricator.wikimedia.org/T209217 (10GeoffreyT2000) [18:19:04] 10WikiEditor: Merge WikiEdtior into the MediaWiki Core - https://phabricator.wikimedia.org/T209217 (10stjn) Do you want ‘install it by default’, maybe? Merging a specific extension into core would just bring the same problems with regards to old toolbar. [18:57:11] 10WikiEditor: Merge WikiEdtior into the MediaWiki Core - https://phabricator.wikimedia.org/T209217 (10Agabi10) As @stjn said, the WikiEditor extension is in the [downloadable version of MediaWiki](https://www.mediawiki.org/wiki/Bundled_extensions_and_skins) since 1.18, so I would say this is already done. If yo... [19:05:04] 10WikiEditor, 10MediaWiki-General-or-Unknown: Merge WikiEdtior into the MediaWiki Core - https://phabricator.wikimedia.org/T209217 (10Krenair) Yeah I don't know if it's necessary to merge it into the core repository. It's bundled already, people can disable it and get a plain text box if they want. [19:05:20] 10WikiEditor, 10MediaWiki-Page-editing: Merge WikiEdtior into the MediaWiki Core - https://phabricator.wikimedia.org/T209217 (10Krenair) [19:45:26] 10WikiEditor, 10MediaWiki-Page-editing: Merge WikiEditor into the MediaWiki Core - https://phabricator.wikimedia.org/T209217 (10Aklapper) [19:47:03] 10WikiEditor, 10MediaWiki-Page-editing: Merge WikiEditor into the MediaWiki Core - https://phabricator.wikimedia.org/T209217 (10Aklapper) Proposing to decline this task: Users would get no toolbar at all without the WikiEditor extension, but if users don't have the WikIEditor extension then it is because their... [20:00:30] 10WikiEditor, 10MediaWiki-Page-editing: Merge WikiEditor into the MediaWiki Core - https://phabricator.wikimedia.org/T209217 (10Krenair) 05Open>03declined [21:31:22] (03CR) 10jerkins-bot: [V: 04-1] Localisation updates from https://translatewiki.net. [extensions/VisualEditor] - 10https://gerrit.wikimedia.org/r/472854 (owner: 10L10n-bot) [22:19:20] (03CR) 10jenkins-bot: Localisation updates from https://translatewiki.net. [extensions/TemplateData] - 10https://gerrit.wikimedia.org/r/472844 (owner: 10L10n-bot)