WikiFormatting - broken explicit numerical ids in headings

[guardian]

With 0.10, explicit ids can be assigned to headings doing:

=== My Very Own Title === #my-very-own-title-id

which produces:

My Very Own Title

however when wanting to assign a numerical id, doing:

=== Title 1 === #1

does not work: it fails to generate a heading with the corresponding id and generates a ticket trac link instead:

=== Title 1 === #1

Please note that this ticket description is using html processor to match what's rendered by a buggy wiki engine.

[Christian Boos]

The "buggy wiki engine" simply follows the spec… please see ​http://www.w3.org/TR/REC-xml/#id, a Name should be

Name	   ::=   	(Letter | '_' | ':') (NameChar)*

so no digit is allowed for the first character.

See also my answer in ​#th544.

[guardian]

Replying to cboos:

The "buggy wiki engine" simply follows the spec…

sorry, no offense here, i simply copy-pasted the notice disclaimer from another bug report, i just wanted to emphasize on the fact that i used the html processor.

indeed i should have checked the spec, your anwser in ​#th544 tricked me :)