289809 - Devmo Wiki underscore hack needed for page title display

Status: RESOLVED FIXED

(developer.mozilla.org Graveyard :: General, defect)

Description

[Deb Richardson [:dria] (plz NEEDINFO)]

User-Agent:       Mozilla/5.0 (Macintosh; U; PPC Mac OS X Mach-O; en-US; rv:1.7.6) Gecko/20050317 Firefox/1.0.2 StumbleUpon/1.9991
Build Identifier: 

Akin to the breadcrumbs extension, we need some sort of extension that allows
for the display of underscores in page titles.

An example of the problem that this would address is here:

http://developer-test.mozilla.org/docs/Core_JavaScript_1.5_Reference:Objects:Number:MAX_VALUE

The actual page name is fine, as there is an underscore in the "MAX_VALUE" part
of the URL.  The problem is that when the page name is displayed on the page,
the underscore is removed and replaced with a space.  Thus "MAX_VALUE" becomes
"MAX VALUE".  Obviously, this is sub-optimal.

To sort this out, I was thinking we could have an extension that behaved thus:

If "<title></title>" is encountered in the body of the page, it replaces the tag
with the last part of the page name.  For example, in a page named "Core
JavaScript 1.5 Reference:Objects:Number", the "<title></title>" would be
replaced by "Number".

If the title element contained text, however, that text would be displayed
instead of the last part of the page name, including any underscores included in
that text.  So, "<title>MAX_VALUE</title>" would be replaced with "MAX_VALUE"
and the underscore would be displayed.



Reproducible: Always