wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-14 19:26:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Enable Page Tools for all logged in users"

Browse source
This commit is contained in:
jenkins-bot 2023-02-14 22:06:19 +00:00 committed by Gerrit Code Review
parent 21932c9800 1696280f39
commit 6c8dbcf0db
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
skin.json
View file

@ -612,7 +612,7 @@
},
"VectorPageTools": {
"value": {
"logged_in": false,
"logged_in": true,
"logged_out": false
},
"description": "@var array Moves the tools links from the main menu into a new menu in the page toolbar"