| Index: trunk/phase3/includes/Sanitizer.php |
| — | — | @@ -798,8 +798,6 @@ |
| 799 | 799 | $id = urlencode( Sanitizer::decodeCharReferences( strtr( $id, ' ', '_' ) ) ); |
| 800 | 800 | $id = str_replace( array_keys( $replace ), array_values( $replace ), $id ); |
| 801 | 801 | |
| 802 | | - echo "flags = $flags, ~flags & Sanitizer::INITIAL_NONLETTER = ".(~$flags&Sanitizer::INITIAL_NONLETTER).", id=$id\n"; |
| 803 | | - |
| 804 | 802 | if( ~$flags & Sanitizer::INITIAL_NONLETTER |
| 805 | 803 | && !preg_match( '/[a-zA-Z]/', $id[0] ) ) { |
| 806 | 804 | // Initial character must be a letter! |