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...)?
mediawiki-l@lists.wikimedia.org