wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-28 09:10:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Don't use deprecated Sanitizer::escapeId()

Browse source 
Change-Id: Ia92e685d33e377669b034b02819e183efe77e4f2
This commit is contained in:
Max Semenik 2019-02-22 12:25:45 -08:00
parent d1b7bd3a39
commit 963f3c1525
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/SpecialGadgets.php
View file

@ -31,7 +31,7 @@ class SpecialGadgets extends SpecialPage {
}
private function makeAnchor( $gadgetName ) {
return 'gadget-' . Sanitizer::escapeId( $gadgetName, [ 'noninitial' ] );
return 'gadget-' . Sanitizer::escapeIdForAttribute( $gadgetName );
}
/**