jenkins-bot 4bd96ff4a5 Merge "mediawiki.ui: Remove IE8 workaround code fragments"		2021-06-07 19:18:34 +00:00
..
assets	Use the new mediawiki logos	2021-04-01 01:22:33 +02:00
lib	Update wvui to 0.2.0	2021-06-02 11:33:13 -07:00
src	Merge "mediawiki.ui: Remove IE8 workaround code fragments"	2021-06-07 19:18:34 +00:00
Resources.php	Add 'mobile' as a target for wvui ResourceLoader module	2021-06-05 10:17:08 +00:00