Merge "Rename Toolbox to Tools"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 19 Oct 2013 12:04:03 +0000 (12:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 19 Oct 2013 12:04:03 +0000 (12:04 +0000)
languages/messages/MessagesEn.php

index e247442..e796087 100644 (file)
@@ -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',