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