jenkins-bot a16fbe655b Merge "mediawiki.user: Use wgUserGroups for getGroups() rather than AJAX"		2016-04-02 21:22:25 +00:00
..
assets	Compress PNGs with zopflipng	2016-02-21 19:15:23 +00:00
lib	jquery.ui.datepicker: Add translations in de-AT and de-CH	2016-03-25 12:56:33 +00:00
src	mediawiki.user: Use wgUserGroups for getGroups() rather than AJAX	2016-04-02 20:59:15 +00:00
Resources.php	Merge "jquery.ui.datepicker: Add translations in de-AT and de-CH"	2016-04-02 11:54:58 +00:00
ResourcesOOUI.php	Convert all array() syntax to []	2016-02-17 01:33:00 -08:00