00272: Anchor names cannot start with a number

Summary: Anchor names cannot start with a number
Created: 2005-01-09 08:13
Status: Closed - not a bug
Category: Bug
From: Tthelen
Priority: 2
Version: 2.0beta14

Description: Anchor names in an [[#anchor]] markup are only recognized if they start with a letter. Thus, names like #1.0 oder #2004 cannot be used.

The regex in line 151 in stdmarkup.php could be modified to allow such names. If it's not a bug but a feature, the documentation should mention it.

HTML doesn't allow anchors (defined by the "id=" attribute in tags) to begin with a digit -- see http://www.w3.org/TR/html4/types.html#type-name . --Pm