jenkins-bot 49d68da065 Merge "mediawiki.page.ready: Emit the 'change' event in checkboxShift.js"		2022-09-17 14:58:55 +00:00
..
assets	change-your-logo.svg: Resize to 135px square, re-crush, and manually minify	2022-06-02 22:24:21 +00:00
lib	Update Codex from v0.1.1 to v0.2.1	2022-09-13 11:31:02 -07:00
src	Merge "mediawiki.page.ready: Emit the 'change' event in checkboxShift.js"	2022-09-17 14:58:55 +00:00
Resources.php	Revert "Mobile Preferences - display Special:Preferences as a vertical menu"	2022-09-15 21:37:45 +00:00