| Summary: | Allow DISPLAYTITLE on wiki | ||
|---|---|---|---|
| Product: | Community | Reporter: | Mickael Istria <mistria> |
| Component: | Wiki | Assignee: | Eclipse Webmaster <webmaster> |
| Status: | RESOLVED FIXED | QA Contact: | |
| Severity: | enhancement | ||
| Priority: | P3 | CC: | chris.guindon |
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
|
Description
Mickael Istria
The docs suggest the this option is on by default, but that it only applies if the DISPLAYTITLE is the same as the 'page title', but the DISPLAY title can have different case. It looks like your trying to rename the page (JavaScript Development Tools vs jSdT(or similar) ), which isn't allowed by default. Is there a reason not to create a 'JavaScript Development Tools' page that redirects to the JSDT page? -M. My goal is that this JSDT page show the title "JavaScript Development Tools" instead of JSDT, so that newcomers on this wiki page who're not very familiar with JSDT immediatly know this is the page about JavaScript tools. JSDT is also a "namespace" under which one there are several other pages. I'd rather keep JSDT as the page id since it's quite convenient. I'd just like to change the label for this main JSDT page. Do you know an alternative way to achieve that? Not really, -M. (In reply to Mickael Istria from comment #0) > Mediawiki has a DISPLAYTITLE option for soft renaming of pages. See > https://www.mediawiki.org/wiki/Manual:$wgAllowDisplayTitle > > We'd like to use it for JSDT page ( https://wiki.eclipse.org/JSDT ) but it > seems to be ignored at the moment. > Is it possible to turn it on for wiki.eclipse.org ? https://wiki.eclipse.org/JSDT seems to be working! I will close this bug, please re-open if you think we need to take another look at this issue! |