https://bugzilla.wikimedia.org/show_bug.cgi?id=54910
Web browser: ---
Bug ID: 54910
Summary: Rename Toolbox to Tools
Product: MediaWiki
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: enhancement
Priority: Unprioritized
Component: General/Unknown
Assignee: wikibugs-l@lists.wikimedia.org
Reporter: swall...@wikimedia.org
Classification: Unclassified
Mobile Platform: ---
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.
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
