jonny
/
Vector-Local
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Change "Article tools" to "Tools" 

"Article" is a Wikipedia-specific term.

See https://phabricator.wikimedia.org/T291304#7905753

Bug: T291304
Change-Id: I678e7bed8c32dee35c7047e3ae5bb1ec5d26f452
This commit is contained in:
Amir E. Aharoni 2022-05-05 10:34:05 +04:00 committed by Amire80
parent db60481d2b
commit 4af78713ef
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
i18n/en.json
View File

@ -43,7 +43,7 @@
"vector-anon-user-menu-pages-learn": "learn more",
"vector-anon-user-menu-pages-label": "Learn more about editing",
"vector-main-menu-tooltip": "Main menu",
"vector-article-tools-nav-label": "Article tools",
"vector-article-tools-nav-label": "Tools",
"vector-site-nav-label": "Site",
"tooltip-vector-anon-user-menu-title": "More options"
}