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

Display newline character as arrow symbol in target string

Browse source 
Change-Id: Iccddd19d708d89a43ea97320b95af9f513ddd73a
This commit is contained in:
sahajsk 2022-02-12 17:47:37 +05:30 committed by Yaron Koren
parent 64988ef905
commit 11a2818cef
1 changed files with 8 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/SpecialReplaceText.php
View file

@ -33,6 +33,7 @@ use Xml;
class SpecialReplaceText extends SpecialPage { class SpecialReplaceText extends SpecialPage {
private $target; private $target;
private $targetString;
private $replacement; private $replacement;
private $use_regex; private $use_regex;
private $category; private $category;
@ -104,6 +105,7 @@ class SpecialReplaceText extends SpecialPage {
$request = $this->getRequest(); $request = $this->getRequest();
$this->target = $request->getText( 'target' ); $this->target = $request->getText( 'target' );
$this->targetString = preg_replace( "/\\n/", "↵", $this->target );
$this->replacement = $request->getText( 'replacement' ); $this->replacement = $request->getText( 'replacement' );
$this->use_regex = $request->getBool( 'use_regex' ); $this->use_regex = $request->getBool( 'use_regex' );
$this->category = $request->getText( 'category' ); $this->category = $request->getText( 'category' );
@ -141,7 +143,7 @@ class SpecialReplaceText extends SpecialPage {
$count = $this->getLanguage()->formatNum( count( $jobs ) ); $count = $this->getLanguage()->formatNum( count( $jobs ) );
$out->addWikiMsg( $out->addWikiMsg(
'replacetext_success', 'replacetext_success',
"<code><nowiki>{$this->target}</nowiki></code>", "<code><nowiki>{$this->targetString}</nowiki></code>",
"<code><nowiki>{$this->replacement}</nowiki></code>", "<code><nowiki>{$this->replacement}</nowiki></code>",
$count $count
); );
@ -200,12 +202,12 @@ class SpecialReplaceText extends SpecialPage {
if ( $this->edit_pages && $category_title_exists ) { if ( $this->edit_pages && $category_title_exists ) {
$out->addWikiMsg( $out->addWikiMsg(
'replacetext_noreplacement', 'replacetext_noreplacement',
"<code><nowiki>{$this->target}</nowiki></code>" "<code><nowiki>{$this->targetString}</nowiki></code>"
); );
} }
if ( $this->move_pages && $category_title_exists ) { if ( $this->move_pages && $category_title_exists ) {
$out->addWikiMsg( 'replacetext_nomove', "<code><nowiki>{$this->target}</nowiki></code>" ); $out->addWikiMsg( 'replacetext_nomove', "<code><nowiki>{$this->targetString}</nowiki></code>" );
} }
// link back to starting form // link back to starting form
$out->addHTML( $out->addHTML(
@ -259,7 +261,7 @@ class SpecialReplaceText extends SpecialPage {
$replacement_params['use_regex'] = $this->use_regex; $replacement_params['use_regex'] = $this->use_regex;
$replacement_params['edit_summary'] = $this->msg( $replacement_params['edit_summary'] = $this->msg(
'replacetext_editsummary', 'replacetext_editsummary',
$this->target, $this->replacement $this->targetString, $this->replacement
)->inContentLanguage()->plain(); )->inContentLanguage()->plain();
$replacement_params['create_redirect'] = false; $replacement_params['create_redirect'] = false;
$replacement_params['watch_page'] = false; $replacement_params['watch_page'] = false;
@ -693,7 +695,7 @@ class SpecialReplaceText extends SpecialPage {
if ( count( $titles_for_edit ) > 0 ) { if ( count( $titles_for_edit ) > 0 ) {
$out->addWikiMsg( $out->addWikiMsg(
'replacetext_choosepagesforedit', 'replacetext_choosepagesforedit',
"<code><nowiki>{$this->target}</nowiki></code>", "<code><nowiki>{$this->targetString}</nowiki></code>",
"<code><nowiki>{$this->replacement}</nowiki></code>", "<code><nowiki>{$this->replacement}</nowiki></code>",
$wgLang->formatNum( count( $titles_for_edit ) ) $wgLang->formatNum( count( $titles_for_edit ) )
); );
@ -727,7 +729,7 @@ class SpecialReplaceText extends SpecialPage {
if ( count( $titles_for_move ) > 0 ) { if ( count( $titles_for_move ) > 0 ) {
$out->addWikiMsg( $out->addWikiMsg(
'replacetext_choosepagesformove', 'replacetext_choosepagesformove',
$this->target, $this->replacement, $wgLang->formatNum( count( $titles_for_move ) ) $this->targetString, $this->replacement, $wgLang->formatNum( count( $titles_for_move ) )
); );
foreach ( $titles_for_move as $title ) { foreach ( $titles_for_move as $title ) {
$out->addHTML( $out->addHTML(