Closed Bug 304236 Opened 19 years ago Closed 19 years ago

Titleoverride extension element needs to change

Categories

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

Product:
developer.mozilla.org Graveyard
Component:
General
Platform:
Other
Other
Type:
defect
Priority:
Not set
Severity:
major

Tracking

(Not tracked)

Status:
RESOLVED FIXED

People

(Reporter: deb, Assigned: shaver)

References

(
URL
)

Details

The page at the included URL demonstrates the issue.  If example code includes a
<title> element, the contents of that element get used in the breadcrumb. 
<nowiki> does nothing to prevent this.

So, either titleoverride needs to respect nowiki tags, or the element used needs
to change.
This isn't any better in MW1.5 -- what do we want to call the element?

(Colliding with HTML was a dumb idea anyway, in retrospect.)
um..."titleoverride"?

We don't use it very often, so it doesn't really matter if it's cumbersome.

You get <title-override>, and you'll like it!

(Committed.)
Status: NEW → RESOLVED
Closed: 19 years ago
Resolution: --- → FIXED
Component: developer.mozilla.org → Infrastructure
Product: mozilla.org → Mozilla Developer Center
QA Contact: qa → infrastructure
Version: other → unspecified
Component: Deki Infrastructure → Other
Product: developer.mozilla.org → developer.mozilla.org Graveyard
You need to log in before you can comment on or make changes to this bug.