jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/374814 )
Change subject: Turn Special:NewFiles list of media types into list of
checkboxes
......................................................................
Turn Special:NewFiles list of media types into list of checkboxes
It's a pretty short, finite list of media types, so we don't need
it to be this dropdown thingy.
Just a list of checkboxes is more convenient because it'll be
easy to see which of the media types are missing/not selected.
Bug: T174518
Change-Id: Ice768f0808eb9d70f682697f48272795417bbe74
---
M includes/specials/SpecialNewimages.php
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
Jforrester: Looks good to me, but someone else must approve
diff --git a/includes/specials/SpecialNewimages.php
b/includes/specials/SpecialNewimages.php
index 0a653e7..693b8aa 100644
--- a/includes/specials/SpecialNewimages.php
+++ b/includes/specials/SpecialNewimages.php
@@ -155,7 +155,6 @@
'mediatype' => [
'type' => 'multiselect',
- 'dropdown' => true,
'flatlist' => true,
'name' => 'mediatype',
'label-message' => 'newimages-mediatype',
--
To view, visit https://gerrit.wikimedia.org/r/374814
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ice768f0808eb9d70f682697f48272795417bbe74
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Matthias Mullie <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
