Is there a way to make article names completely case-insensitive? (I couldn't find anything on a couple of searches of mediawiki.org.) Preferably case-insensitive but case-preserving.
(Worst case I can think of: having to do it with mod_rewrite rules ... mod_rewrite is arguably the work of Apache's Satanic Worship workgroup. Not as bad as SSL, but getting there.)
- d.
There is not, but I am one of the biggest supporters of this. If you can think of a way of doing it, I will gladly help out in any way I can.
I have tried changing the core code, but I couldn't figure it out. -Adam
On Jan 18, 2008, at 6:35 AM, David Gerard wrote:
Is there a way to make article names completely case-insensitive? (I couldn't find anything on a couple of searches of mediawiki.org.) Preferably case-insensitive but case-preserving.
(Worst case I can think of: having to do it with mod_rewrite rules ... mod_rewrite is arguably the work of Apache's Satanic Worship workgroup. Not as bad as SSL, but getting there.)
- d.
MediaWiki-l mailing list MediaWiki-l@lists.wikimedia.org http://lists.wikimedia.org/mailman/listinfo/mediawiki-l
On 18/01/2008, Adam Meyer meyer7@mindspring.com wrote:
On Jan 18, 2008, at 6:35 AM, David Gerard wrote:
Is there a way to make article names completely case-insensitive? (I couldn't find anything on a couple of searches of mediawiki.org.) Preferably case-insensitive but case-preserving.
There is not, but I am one of the biggest supporters of this. If you can think of a way of doing it, I will gladly help out in any way I can. I have tried changing the core code, but I couldn't figure it out.
It looks hairy technically. See:
http://meta.wikimedia.org/wiki/Case_sensitivity_of_page_names#Major_Issues
- d.
Am Freitag, den 18.01.2008, 09:24 -0500 schrieb Adam Meyer:
There is not, but I am one of the biggest supporters of this. If you can think of a way of doing it, I will gladly help out in any way I can.
I have tried changing the core code, but I couldn't figure it out. -Adam
Just to sketch how I would try to solve this: Write an extension to the appropriate hook (see http://www.mediawiki.org/wiki/Manual:MediaWiki_hooks). When a page is requested, look up if a page with that title (case insensitive) exists. If yes, perform an external (HTTP) or internal redirect (a matter of taste, I guess) to the page with the requested title in its canonical form. If no, proceed as usual.
~ Kilian
Just to sketch how I would try to solve this: Write an extension to the appropriate hook (see http://www.mediawiki.org/wiki/Manual:MediaWiki_hooks). When a page is requested, look up if a page with that title (case insensitive) exists. If yes, perform an external (HTTP) or internal redirect (a matter of taste, I guess) to the page with the requested title in its canonical form. If no, proceed as usual.
I've just written a patch that creates a new setting similar to $wgCapitalLinks, but which puts the whole title to uppercase, rather than just the first letter. You could then use {{DISPLAYTITLE}} on each page to determine what case actually gets displayed. Would people be interested in that (once I've ironed out the bug that completely breaks all special pages, anyway...)?
Hi Thomas,
Yes I would.
Alain
Thomas Dalton wrote:
Would people be interested in that (once I've ironed out the bug that completely breaks all special pages, anyway...)?
mediawiki-l@lists.wikimedia.org