wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-23 14:26:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Quote delimiter in target text when using regular expressions"

Browse source
This commit is contained in:
jenkins-bot 2024-01-08 15:55:20 +00:00 committed by Gerrit Code Review
parent e8c50add4e e9a086c4ee
commit 0480d83b71
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/SpecialReplaceText.php
View file

@ -914,7 +914,8 @@ class SpecialReplaceText extends SpecialPage {
// Get all indexes
if ( $use_regex ) {
preg_match_all( "/$target/Uu", $text, $matches, PREG_OFFSET_CAPTURE );
$targetq = str_replace( "/", "\\/", $target );
preg_match_all( "/$targetq/Uu", $text, $matches, PREG_OFFSET_CAPTURE );
} else {
$targetq = preg_quote( $target, '/' );
preg_match_all( "/$targetq/", $text, $matches, PREG_OFFSET_CAPTURE );