Thiemo Kreuz b4429c349f Make use of OOUI methods .getItemCount() and .isEmpty() ... Change-Id: I24ae10d4bc4cee62f3a373a4caed65d99faae74f		2021-11-02 10:36:42 +01: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	Make use of OOUI methods .getItemCount() and .isEmpty()	2021-11-02 10:36:42 +01:00
Resources.php	mediawiki.action.edit.preview: Use same UX as in normal diff	2021-10-20 14:24:22 +00:00