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

Quote delimiter in target text when using regular expressions

Browse source 
bug: T354498
Change-Id: I0bafbaa4cfb55e2d65712a747a2622b159417dea
This commit is contained in:
Mark A. Hershberger 2024-01-07 19:09:16 -05:00
parent 475ad71b4c
commit e9a086c4ee
No known key found for this signature in database
GPG key ID: C5E6B11787B8FA01
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 );