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

Add $ignoreHidden param to getOption() call

Browse source 
Needed if 'contextchars' is set to be a hidden preference.

Bug: T370868
Change-Id: I793bb75dca4e34918e842a744f50b46e8e5627ad
This commit is contained in:
Yaron Koren 2024-10-17 15:09:47 +00:00
parent 222a236201
commit 8d906b0822
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/SpecialReplaceText.php
View file

@ -957,7 +957,7 @@ class SpecialReplaceText extends SpecialPage {
* @return string * @return string
*/ */
function extractContext( $text, $target, $use_regex = false ) { function extractContext( $text, $target, $use_regex = false ) {
$cw = $this->userOptionsLookup->getOption( $this->getUser(), 'contextchars', 40 ); $cw = $this->userOptionsLookup->getOption( $this->getUser(), 'contextchars', 40, true );
// Get all indexes // Get all indexes
if ( $use_regex ) { if ( $use_regex ) {