Rename Toolbox to Tools
Closed, ResolvedPublic

Description

Author: swalling

Description:
The sidebar section currently known as "Toolbox" (https://www.mediawiki.org/wiki/Help:Navigation#Toolbox) is an essential part of many MediaWiki installations, including Wikimedia sites. However, the name "Toolbox" itself is strangely anachronistic. Other functions in the sidebar, such languages and navigation use very simple, functional names. I'd like to see us simply call the section "Tools".

Normally with sidebar naming I would just recommend people use a piped name to change the section title, but because of the way the Toolbox is generated, I *think* this needs to be done programmatically.


Version: unspecified
Severity: enhancement

Details

Reference
bz54910
bzimport created this task.Oct 3 2013, 4:38 AM

(In reply to comment #0)

Normally with sidebar naming I would just recommend people use a piped name
to
change the section title, but because of the way the Toolbox is generated, I
*think* this needs to be done programmatically.

There will be a i18n for it...

swalling wrote:

(In reply to comment #1)

(In reply to comment #0)
> Normally with sidebar naming I would just recommend people use a piped name
> to
> change the section title, but because of the way the Toolbox is generated, I
> *think* this needs to be done programmatically.

There will be a i18n for it...

Yes, the message is just MediaWiki:Toolbox. I'd kind of prefer to see it changed in core though for all, not just overwrite the message on my home wikis or something.

I've looked through a few translations in languages I can understand at least a little bit. Almost all used a single word with meaning equivalent to simply "Tools"; several used "Box of tools" (most languages aren't as flexible as English with word formation), which looks rather awkward (notably French).

I'm definitely supporting "Tools", but "Utilities" might be worth considering as well. I'm not sure if it's not too wordy, though.

Change 90645 had a related patch set uploaded by Bartosz Dziewoński:
Rename Toolbox to Tools

https://gerrit.wikimedia.org/r/90645

Change 90645 merged by jenkins-bot:
Rename Toolbox to Tools

https://gerrit.wikimedia.org/r/90645

Add Comment