wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-27 17:20:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Move edit-user-page to be adjacent to edit-user-talk

Browse source 
... and have "edit-user-talk" appear as the first preference.

Bug: T334531
Change-Id: I52be2aa0dbc04849fa1ba1923f89333c443412cf
This commit is contained in:
Kosta Harlan 2023-04-27 21:07:47 +02:00
parent 9a7bc48489
commit ace96cbfcf
No known key found for this signature in database
GPG key ID: BC3D8915606A5ED9
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
extension.json
View file

@ -656,10 +656,6 @@
"all"
]
},
"edit-user-page": {
"priority": 4,
"tooltip": "echo-pref-tooltip-edit-user-page"
},
"edit-user-talk": {
"priority": 1,
"no-dismiss": [
@ -667,6 +663,10 @@
],
"tooltip": "echo-pref-tooltip-edit-user-talk"
},
"edit-user-page": {
"priority": 1,
"tooltip": "echo-pref-tooltip-edit-user-page"
},
"reverted": {
"priority": 9,
"tooltip": "echo-pref-tooltip-reverted"