jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/382172 )
Change subject: Use Special:PageData as the canonical capitalization
......................................................................
Use Special:PageData as the canonical capitalization
We want Special:PageData (uppercase D) to be the proper page title and
Special:Pagedata (lowercase d) to redirect to it, not vice versa.
(Special page names are case insensitive, so it’s not necessary to add
the old name Special:Pagedata as an explicit alias.)
Note: if a localisation cache is configured, it needs to be rebuilt
after this change.
Bug: T177411
Change-Id: I27c47a16326540a74d0850467d430faaa25369df
---
M languages/messages/MessagesEn.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Umherirrender: Looks good to me, but someone else must approve
jenkins-bot: Verified
Jforrester: Looks good to me, approved
diff --git a/languages/messages/MessagesEn.php
b/languages/messages/MessagesEn.php
index 17b00b7..a3173d4 100644
--- a/languages/messages/MessagesEn.php
+++ b/languages/messages/MessagesEn.php
@@ -466,7 +466,7 @@
'Newimages' => [ 'NewFiles', 'NewImages' ],
'Newpages' => [ 'NewPages' ],
'PagesWithProp' => [ 'PagesWithProp', 'Pageswithprop',
'PagesByProp', 'Pagesbyprop' ],
- 'PageData' => [ 'Pagedata' ],
+ 'PageData' => [ 'PageData' ],
'PageLanguage' => [ 'PageLanguage' ],
'PasswordReset' => [ 'PasswordReset' ],
'PermanentLink' => [ 'PermanentLink', 'PermaLink' ],
--
To view, visit https://gerrit.wikimedia.org/r/382172
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I27c47a16326540a74d0850467d430faaa25369df
Gerrit-PatchSet: 5
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Lucas Werkmeister (WMDE) <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: Lucas Werkmeister (WMDE) <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: Raimond Spekking <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits