jenkins-bot 50e133a8b2 Merge "Follow-up I86568863: mw-ui-button: Reduce specificity of margin rule"		2021-10-29 17:59:20 +00:00
..
assets	Use the new mediawiki logos	2021-04-01 01:22:33 +02:00
lib	Drop jQuery migrate	2021-09-30 18:29:05 +02:00
src	Merge "Follow-up I86568863: mw-ui-button: Reduce specificity of margin rule"	2021-10-29 17:59:20 +00:00
Resources.php	mediawiki.action.edit.preview: Use same UX as in normal diff	2021-10-20 14:24:22 +00:00