Rename Toolbox to Tools

The name "Toolbox" is strangely anachronistic. Other functions in the
sidebar such as languages and navigation use very simple, functional
names.

Most translations already use a single word with meaning equivalent to
simply "Tools"; several use literal translations of "Box of tools",
which tends to look rather awkward.

Bug: 54910
Change-Id: I9ba287ec6426632847fe7d3a0d71948838496317

diff --git a/languages/messages/MessagesEn.php b/languages/messages/MessagesEn.php
index e247442..e796087 100644 (file)
--- a/languages/messages/MessagesEn.php
+++ b/languages/messages/MessagesEn.php
@@ -874,7 +874,7 @@ future releases. Also note that since each list value is wrapped in a unique
 'articlepage'        => 'View content page',
 'talk'               => 'Discussion',
 'views'              => 'Views',
-'toolbox'            => 'Toolbox',
+'toolbox'            => 'Tools',
 'userpage'           => 'View user page',
 'projectpage'        => 'View project page',
 'imagepage'          => 'View file page',