Unescape entities for prettier/more consistent IDs

Only affects $wgExperimentalHtmlIds = true.

diff --git a/includes/Sanitizer.php b/includes/Sanitizer.php
index 9dd648c..8102843 100644 (file)
--- a/includes/Sanitizer.php
+++ b/includes/Sanitizer.php
@@ -881,6 +881,7 @@ class Sanitizer {
                $options = (array)$options;
 
                if ( $wgHtml5 && $wgExperimentalHtmlIds && !in_array( 'legacy', $options ) ) {
+                       $id = Sanitizer::decodeCharReferences( $id );
                        $id = preg_replace( '/[ \t\n\r\f_\'"&]+/', '_', $id );
                        $id = trim( $id, '_' );
                        if ( $id === '' ) {