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

Add space between checkbox and label in page title replacements

Browse source 
Change-Id: I4fb8651cf8771f9459c3537bb8e3b174e828fb29
This commit is contained in:
Yaron Koren 2022-09-28 14:51:53 +00:00
parent cb570d5609
commit e852e449f4
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

@ -797,7 +797,7 @@ class SpecialReplaceText extends SpecialPage {
); );
foreach ( $titles_for_move as $title ) { foreach ( $titles_for_move as $title ) {
$out->addHTML( $out->addHTML(
Xml::check( 'move-' . $title->getArticleID(), true ) . Xml::check( 'move-' . $title->getArticleID(), true ) . ' ' .
$this->linkRenderer->makeLink( $title, null ) . "<br />\n" $this->linkRenderer->makeLink( $title, null ) . "<br />\n"
); );
} }