| Index: trunk/phase3/includes/Sanitizer.php |
| — | — | @@ -881,6 +881,7 @@ |
| 882 | 882 | $options = (array)$options; |
| 883 | 883 | |
| 884 | 884 | if ( $wgHtml5 && $wgExperimentalHtmlIds && !in_array( 'legacy', $options ) ) { |
| | 885 | + $id = Sanitizer::decodeCharReferences( $id ); |
| 885 | 886 | $id = preg_replace( '/[ \t\n\r\f_\'"&]+/', '_', $id ); |
| 886 | 887 | $id = trim( $id, '_' ); |
| 887 | 888 | if ( $id === '' ) { |