jenkins-bot has submitted this change. ( https://gerrit.wikimedia.org/r/c/pywikibot/core/+/623555 )
Change subject: [IMPR] category_redirect: use "→" (→) instead of "->" ......................................................................
[IMPR] category_redirect: use "→" (→) instead of "->"
Looks better in wiki pages.
Change-Id: I504144c9b5a10886902253ea17afc6910b7d37ec --- M scripts/category_redirect.py 1 file changed, 1 insertion(+), 1 deletion(-)
Approvals: Ammarpad: Looks good to me, but someone else must approve Xqt: Looks good to me, approved jenkins-bot: Verified
diff --git a/scripts/category_redirect.py b/scripts/category_redirect.py index 6e9b208..0931e60 100755 --- a/scripts/category_redirect.py +++ b/scripts/category_redirect.py @@ -354,7 +354,7 @@ # make sure every redirect has a record entry record[cat_title] = {today: None} try: - newredirs.append('*# {} -> {}'.format( + newredirs.append('*# {} → {}'.format( cat.title(as_link=True, textlink=True), cat.getCategoryRedirectTarget().title( as_link=True, textlink=True)))
pywikibot-commits@lists.wikimedia.org