Merge "Change "Article tools" to "Tools""

This commit is contained in:
jenkins-bot 2022-05-05 17:26:58 +00:00 committed by Gerrit Code Review
commit 2f25970dae

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"
}