[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Fix incorrect Special:Userlogin name in Popups blacklist
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373696 ) Change subject: Fix incorrect Special:Userlogin name in Popups blacklist .. Fix incorrect Special:Userlogin name in Popups blacklist Current $wgPopupsPageBlacklist contains incorrect canonical name for special UserLogin page. Changes: - blacklist `Special:Userlogin` page Bug: T170169 Change-Id: Ib13ca945fe19e31f2122abeb729fb0e6be3181ea DependsOn: I49592133eb8286eacf04fd3034df091f7ef2aa50 --- M wmf-config/InitialiseSettings.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Niharika29: Looks good to me, approved jenkins-bot: Verified Jdlrobson: Looks good to me, but someone else must approve diff --git a/wmf-config/InitialiseSettings.php b/wmf-config/InitialiseSettings.php index 19bc2a7..31459f8 100644 --- a/wmf-config/InitialiseSettings.php +++ b/wmf-config/InitialiseSettings.php @@ -13565,7 +13565,7 @@ 'default' => [ 'Special:CreateAccount', 'Special:GlobalRenameRequest', - 'Special:UserLogin', + 'Special:Userlogin', 'Special:MergeAccount', 'Special:ChangeCredentials', 'Special:OAuthListConsumers', -- To view, visit https://gerrit.wikimedia.org/r/373696 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib13ca945fe19e31f2122abeb729fb0e6be3181ea Gerrit-PatchSet: 3 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Pmiazga Gerrit-Reviewer: Florianschmidtwelzow Gerrit-Reviewer: Jdlrobson Gerrit-Reviewer: Niharika29 Gerrit-Reviewer: Urbanecm Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Fix incorrect Special:Userlogin name in Popups blacklist
Pmiazga has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/373696 ) Change subject: Fix incorrect Special:Userlogin name in Popups blacklist .. Fix incorrect Special:Userlogin name in Popups blacklist Current $wgPopupsPageBlacklist contains incorrect canonical name for special UserLogin page. Changes: - blacklist `Special:Userlogin` page Bug: T170169 Change-Id: Ib13ca945fe19e31f2122abeb729fb0e6be3181ea DependsOn: I49592133eb8286eacf04fd3034df091f7ef2aa50 --- M wmf-config/InitialiseSettings.php 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/96/373696/1 diff --git a/wmf-config/InitialiseSettings.php b/wmf-config/InitialiseSettings.php index 8013276..ce58c75 100644 --- a/wmf-config/InitialiseSettings.php +++ b/wmf-config/InitialiseSettings.php @@ -13554,7 +13554,7 @@ 'default' => [ 'Special:CreateAccount', 'Special:GlobalRenameRequest', - 'Special:UserLogin', + 'Special:Userlogin', 'Special:MergeAccount', 'Special:ChangeCredentials', 'Special:OAuthListConsumers', -- To view, visit https://gerrit.wikimedia.org/r/373696 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ib13ca945fe19e31f2122abeb729fb0e6be3181ea Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Pmiazga ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits