dto wrote:

Creating something like MediaWiki:Developerscorner with text "Developer's
Corner" and then saying " developerscorner|Developer's Corner" or "
developerscorner|developerscorner" will do the trick.

But maybe invalid chars should still be stripped anyways?

mitch.waters.iii wrote:

Yeah, I know how to get around it, and it's not breaking any functionality. It's
just anoying. I can post a patch, but I just basically put a
preg_replace("/[^a-z0-9-_:\.]/i", "_", $id) in where it was rendering it in
Monobook.php. This also takes care of it for the other three skins. I didn't
think that this was entirely correct at first, since it could potentially
violate the "must begin with a character" rule, but I then noticed that the skin
was putting a "p-" in the front of the ID anyway, which satisfies this rule.

Also, you mentioned the link (** Developer's Corner|Developer's Corner) being
invalid, but the header line (* developer tools) also creates an invalid link,
since it contains spaces.

I've gone ahead and added a patch... and changed the severity to trivial, since
that's really what this is.

mitch.waters.iii wrote:

Proposed patch using preg_replace to get rid of the offending characters in the ID of elements generated by entries in MediaWiki:Sidebar

Attached:

ayg wrote:

Fixed in r17103, using Sanitizer::escapeId instead of preg_replace.

ayg wrote:

*** Bug 5993 has been marked as a duplicate of this bug. ***