Page MenuHomePhabricator

Creating namespaces "portal" and "portal talk" on Javanese Wikipedia
Closed, ResolvedPublic

Description

The definition of the namespaces 'portal' and 'portal talk' does not exist on the Javanese Wikipedia (jv.wikipedia.org), and needs to be created, either changing the variable $wgExtraNamespaces (https://www.mediawiki.org/wiki/Manual:$wgExtraNamespaces) to accommodate portals and creating a new namespaces called Portal (in Javanese - Gapura) and Portal talk (in Javanese - Parembugan Gapura), or by linking the definition of the English namespace 'Portal' (whose namespace code is 100 in Wikipedia) to an Javanese translation.

Could someone help with creation of portal and portal talk namespaces on Javanese Wikipedia?

Event Timeline

Setting project to Wikimedia-Site-requests, as this request is about settings / configuration of a Wikimedia website. @N219: Please follow https://meta.wikimedia.org/wiki/Requesting_wiki_configuration_changes when requesting such kinds of changes and provide community consensus.

Note: If you want to make this configuration change yourself, please follow https://wikitech.wikimedia.org/wiki/Wikimedia_site_requests and give it a try!

N219 renamed this task from Creating namespace "portal" on Javanese Wikipedia to Creating namespaces "portal" and "Portal talk" on Javanese Wikipedia.May 10 2020, 3:23 PM
N219 updated the task description. (Show Details)
N219 renamed this task from Creating namespaces "portal" and "Portal talk" on Javanese Wikipedia to Creating namespaces "portal" and "portal talk" on Javanese Wikipedia.May 10 2020, 3:24 PM
N219 updated the task description. (Show Details)
N219 added subscribers: Wirjadisastra, Bennylin.
taavi moved this task from Backlog to Config - to process on the Wikimedia-Site-requests board.
taavi added a subscriber: taavi.

I can do this tonight

Thankyou for your help!

I will create the patchset later @N219 but can you supply community consensus in the meantime?

I will create the patchset later @N219 but can you supply community consensus in the meantime?

Yes, I can.

Village pump: here

We will probably have to deploy this once that’s been open ~7 days. I will make sure the change is ready for then.

Change 595469 had a related patch set uploaded (by RhinosF1; owner: RhinosF1):
[operations/mediawiki-config@master] Create Gapura (Portal) namespace for jvwiki

https://gerrit.wikimedia.org/r/595469

RhinosF1 triaged this task as Medium priority.May 11 2020, 7:41 AM
RhinosF1 moved this task from Configuration to Deployment on the User-RhinosF1 board.

Village pump: here

Blocking this patch on that discussion being open a bit longer, will review for a late SWAT thursday.

@RhinosF1 This is new community consensus: here

I will talk to others in the team today to see if we can push this tonight.

Scheduled for swat-2020-05-14-evening

Change 595469 merged by jenkins-bot:
[operations/mediawiki-config@master] Create Gapura (Portal) namespace for jvwiki

https://gerrit.wikimedia.org/r/595469

Mentioned in SAL (#wikimedia-operations) [2020-05-14T23:20:15Z] <catrope@deploy1001> Synchronized wmf-config/InitialiseSettings.php: Create Gapura (Portal) namespace on jvwiki (T252343) (duration: 01m 06s)

The namespaces have been created!

Mentioned in SAL (#wikimedia-operations) [2020-05-14T23:23:25Z] <RoanKattouw> Ran namespaceDupes.php for T252343