[01:39:00] (03PS1) 10Jforrester: update-oojs-ui.sh: Exclude the minimised distribution files [VisualEditor/VisualEditor] - 10https://gerrit.wikimedia.org/r/161885 [02:31:39] (03PS19) 10Krinkle: [BREAKING CHANGE] Create a MediaWiki theme [oojs/ui] - 10https://gerrit.wikimedia.org/r/157866 (owner: 10Trevor Parscal) [02:45:22] (03PS8) 10Jforrester: build: Create minified JS and CSS distribution files [oojs/ui] - 10https://gerrit.wikimedia.org/r/157315 [02:45:25] (03CR) 10jenkins-bot: [V: 04-1] build: Create minified JS and CSS distribution files [oojs/ui] - 10https://gerrit.wikimedia.org/r/157315 (owner: 10Jforrester) [02:46:23] (03PS9) 10Jforrester: build: Create minified JS and CSS distribution files [oojs/ui] - 10https://gerrit.wikimedia.org/r/157315 [02:46:25] (03PS20) 10Jforrester: [BREAKING CHANGE] Create a MediaWiki theme [oojs/ui] - 10https://gerrit.wikimedia.org/r/157866 (owner: 10Trevor Parscal) [02:46:27] (03CR) 10jenkins-bot: [V: 04-1] build: Create minified JS and CSS distribution files [oojs/ui] - 10https://gerrit.wikimedia.org/r/157315 (owner: 10Jforrester) [02:47:10] (03PS21) 10Jforrester: [BREAKING CHANGE] Create a MediaWiki theme [oojs/ui] - 10https://gerrit.wikimedia.org/r/157866 (owner: 10Trevor Parscal) [10:58:37] 3MediaWiki / 3ResourceLoader: Errors in one module can affect other modules via $.ready - 10https://bugzilla.wikimedia.org/70772 (10Andre Klapper) p:5Unprio>3High [11:06:22] 3MediaWiki / 3Page editing: Add syntax highlighting to Edit box - 10https://bugzilla.wikimedia.org/11627#c4 (10Pavel (pastakhov)) I am developing the CodeMirror extension [1] that highlights the wiki markup in