From 4af78713ef8cc79ff5a1483477a0de2ebfabe783 Mon Sep 17 00:00:00 2001 From: "Amir E. Aharoni" Date: Thu, 5 May 2022 10:34:05 +0400 Subject: [PATCH] Change "Article tools" to "Tools" "Article" is a Wikipedia-specific term. See https://phabricator.wikimedia.org/T291304#7905753 Bug: T291304 Change-Id: I678e7bed8c32dee35c7047e3ae5bb1ec5d26f452 --- i18n/en.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/i18n/en.json b/i18n/en.json index d807b11f..254d6902 100644 --- a/i18n/en.json +++ b/i18n/en.json @@ -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" }