wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-27 17:51:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Fix exceptions on weirdly encoded URLs"

Browse source
This commit is contained in:
jenkins-bot 2024-02-05 22:22:02 +00:00 committed by Gerrit Code Review
parent 4c2442eeb6 1bb3b597ec
commit 6816c15a03
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/controller.js
View file

@ -592,14 +592,14 @@ function init( $container, state ) {
return !pattern.test( fragment );
} ) ) {
findCommentQuery = {
heading: decodeURI( fragment ).replace( / /g, '_' ),
heading: mw.util.percentDecodeFragment( fragment ).replace( / /g, '_' ),
page: mw.config.get( 'wgRelevantPageName' )
};
isHeading = true;
}
} else if ( highlightResult.highlighted.length === 0 && highlightResult.requested.length === 1 ) {
findCommentQuery = {
idorname: decodeURI( highlightResult.requested[ 0 ] )
idorname: mw.util.percentDecodeFragment( highlightResult.requested[ 0 ] )
};
isHeading = highlightResult.requested[ 0 ].slice( 0, 1 ) === 'h';
}