jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/591848 )

Change subject: [bugfix] Highlight title only once ......................................................................

[bugfix] Highlight title only once

Change-Id: I335bf2431bd8cde5a085de5bbb85bb4a9ed75864 --- M scripts/replace.py 1 file changed, 1 insertion(+), 3 deletions(-)

Approvals: Huji: Looks good to me, approved jenkins-bot: Verified

diff --git a/scripts/replace.py b/scripts/replace.py index 44c3c83..a50c778 100755 --- a/scripts/replace.py +++ b/scripts/replace.py @@ -166,7 +166,6 @@ PY2, UnicodeType ) -from pywikibot.tools.formatter import color_format

if not PY2: from queue import Queue @@ -765,8 +764,7 @@ site=page.site) # Show the title of the page we're working on. # Highlight the title in purple. - pywikibot.output(color_format( - '\n\n>>> {lightpurple}{0}{default} <<<', page.title())) + self.current_page = page pywikibot.showDiff(original_text, new_text, context=context) if self.getOption('always'): break