wikimedia/mediawiki-extensions-TemplateData
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TemplateData synced 2024-11-28 01:30:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

Move "Unknown" type to the top of the dropdown

Browse source 
"Unknown" is the special, default value when nothing else is
specified. It feels wrong to find this in alphabetical order
between all the other values, as if "Unknown" is something I'm
expected to pick. While this is possible, it's almost never
necessary. "Unknown" is the default anyway. If I'm fine with
that, I never change it. But if I want to pick something else,
I typically expect the list to show the "nothing selected yet"
default first so I can easily avoid it.

Change-Id: I283a1b0545efba208af777a0b2056740263dfc32
This commit is contained in:
Thiemo Kreuz 2020-08-19 17:30:05 +02:00
parent 1c91be000e
commit a5fe1bfbb9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ext.templateDataGenerator.data/Model.js
View file

@ -142,6 +142,7 @@ mw.TemplateData.Model.static.getAllProperties = function ( getFullData ) {
type: {
type: 'select',
children: [
'unknown',
'boolean',
'content',
'wiki-file-name',
@ -152,7 +153,6 @@ mw.TemplateData.Model.static.getAllProperties = function ( getFullData ) {
'string',
'wiki-template-name',
'unbalanced-wikitext',
'unknown',
'url',
'wiki-user-name'
],