From: jenkins-bot Date: Mon, 5 Aug 2019 22:11:25 +0000 (+0000) Subject: Merge "resourceloader: Move mw.libs and mw.widgets from startup to mediawiki.base" X-Git-Tag: 1.34.0-rc.0~778 X-Git-Url: http://git.cyclocoop.org/data/%24oldEdit?a=commitdiff_plain;h=2b1abed0c2163cf7252d35a7da28e8eb96c38881;p=lhc%2Fweb%2Fwiklou.git Merge "resourceloader: Move mw.libs and mw.widgets from startup to mediawiki.base" --- 2b1abed0c2163cf7252d35a7da28e8eb96c38881