jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/393958 )
Change subject: Update OOjs UI to v0.24.3 ...................................................................... Update OOjs UI to v0.24.3 Release notes: https://phabricator.wikimedia.org/diffusion/GOJU/browse/master/History.md;v0.24.3 Depends-On: Ifdd44ead7d782288aaef0979322f0943f7304853 Change-Id: Ifdd44ead7d782288aaef0979322f0943f7304835 --- M composer.json M resources/lib/oojs-ui/i18n/lv.json M resources/lib/oojs-ui/i18n/sl.json M resources/lib/oojs-ui/i18n/sr-ec.json M resources/lib/oojs-ui/i18n/sr-el.json M resources/lib/oojs-ui/i18n/ur.json M resources/lib/oojs-ui/oojs-ui-apex.js M resources/lib/oojs-ui/oojs-ui-core-apex.css M resources/lib/oojs-ui/oojs-ui-core-wikimediaui.css M resources/lib/oojs-ui/oojs-ui-core.js M resources/lib/oojs-ui/oojs-ui-core.js.map M resources/lib/oojs-ui/oojs-ui-toolbars-apex.css M resources/lib/oojs-ui/oojs-ui-toolbars-wikimediaui.css M resources/lib/oojs-ui/oojs-ui-toolbars.js M resources/lib/oojs-ui/oojs-ui-toolbars.js.map M resources/lib/oojs-ui/oojs-ui-widgets-apex.css M resources/lib/oojs-ui/oojs-ui-widgets-wikimediaui.css M resources/lib/oojs-ui/oojs-ui-widgets.js M resources/lib/oojs-ui/oojs-ui-widgets.js.map M resources/lib/oojs-ui/oojs-ui-wikimediaui.js M resources/lib/oojs-ui/oojs-ui-windows-apex.css M resources/lib/oojs-ui/oojs-ui-windows-wikimediaui.css M resources/lib/oojs-ui/oojs-ui-windows.js M resources/lib/oojs-ui/wikimedia-ui-base.less 24 files changed, 472 insertions(+), 167 deletions(-) Approvals: Bartosz Dziewoński: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/393958 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ifdd44ead7d782288aaef0979322f0943f7304835 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Jforrester <[email protected]> Gerrit-Reviewer: Bartosz Dziewoński <[email protected]> Gerrit-Reviewer: Siebrand <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
