- From: Sandro Hawke <sandro@w3.org>
- Date: Wed, 10 Oct 2007 09:23:50 -0400
- To: Markus Krötzsch <mak@aifb.uni-karlsruhe.de>
- Cc: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, alanruttenberg@gmail.com, public-owl-wg@w3.org
> I am rather sure that MediaWiki supports spaces, accents, and in fact most=
> =20
> Unicode characters in user names. At least I have dozens of MW-logins with =
> my=20
> true name. This is also the case for article titles. So we actually could=20
> just use the natural spelling for everything (for complicated spellings,=20
> MediaWiki's redirect pages can help others to find the correct page anyway,=
> =20
> even if their keyboard lacks some symbols).
It seems fine with unicode (IRI) titles and page names, but not user
names. At least, it didn't work when I tried it. Do you mind trying
to help track this down a little? Maybe it's an extension or
something.
-- Sandro
Received on Wednesday, 10 October 2007 13:24:51 UTC