Skin on Mediawikiwiki
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	RhinosF1
	Oct 29 2023, 10:11 AM

Description

Per IRC & https://www.mediawiki.org/w/index.php?title=Topic:Xshqkv8jq9or2f15

Details

	Subject	Repo	Branch	Lines +/-
	namespaces:mediawiki: add Extensions/Skins as alias of Extension/Skin (+ tallk)	operations/mediawiki-config	master	+6 -0

Customize query in gerrit

Event Timeline

RhinosF1 created this task.Oct 29 2023, 10:11 AM

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptOct 29 2023, 10:11 AM

RhinosF1 changed the task status from Open to Stalled.Oct 29 2023, 10:12 AM

RhinosF1 triaged this task as Medium priority.

RhinosF1 updated the task description. (Show Details)

Change 969353 had a related patch set uploaded (by RhinosF1; author: RhinosF1):

[operations/mediawiki-config@master] namespaces:mediawiki: add Extensions as alias of NS_EXTENSION

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

gerritbot added a project: Patch-For-Review.Oct 29 2023, 10:13 AM

ashley awarded a token.Oct 29 2023, 10:15 AM

RhinosF1 renamed this task from Add Extensions as an alias of NS_EXTENSION on Mediawikiwiki to Add Extensions/Skins as an alias of Extension/Skin on Mediawikiwiki.Oct 29 2023, 10:22 AM

RhinosF1 updated the task description. (Show Details)

RhinosF1 moved this task from Unsorted to Single wikis on the Community-consensus-needed board.Oct 29 2023, 10:30 AM

RhinosF1 moved this task from Radar to Deployment on the User-RhinosF1 board.

RhinosF1 moved this task from Backlog to Blocked on community consensus on the Wikimedia-Site-requests board.

Dinoguy1000 awarded a token.Oct 29 2023, 4:59 PM

I think we have enough consensus here.

Pppery moved this task from Blocked on community consensus to Backlog on the Wikimedia-Site-requests board.Oct 30 2023, 1:32 AM

RhinosF1 changed the task status from Open to In Progress.Oct 30 2023, 8:05 PM

Change 969353 merged by jenkins-bot:

[operations/mediawiki-config@master] namespaces:mediawiki: add Extensions/Skins as alias of Extension/Skin (+ tallk)

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

Mentioned in SAL (#wikimedia-operations) [2023-10-30T20:07:07Z] <dancy@deploy2002> Started scap: Backport for [[gerrit:969353|namespaces:mediawiki: add Extensions/Skins as alias of Extension/Skin (+ tallk) (T349970)]]

Mentioned in SAL (#wikimedia-operations) [2023-10-30T20:08:24Z] <dancy@deploy2002> dancy and rhinosf1: Backport for [[gerrit:969353|namespaces:mediawiki: add Extensions/Skins as alias of Extension/Skin (+ tallk) (T349970)]] synced to the testservers (https://wikitech.wikimedia.org/wiki/Mwdebug)

Maintenance_bot removed a project: Patch-For-Review.Oct 30 2023, 8:10 PM

Mentioned in SAL (#wikimedia-operations) [2023-10-30T20:17:17Z] <dancy@deploy2002> Finished scap: Backport for [[gerrit:969353|namespaces:mediawiki: add Extensions/Skins as alias of Extension/Skin (+ tallk) (T349970)]] (duration: 10m 09s)

Deployed, tested on prod :)

Add Extensions/Skins as an alias of Extension/Skin on MediawikiwikiClosed, ResolvedPublicActions

Description

Details

Event Timeline

Add Extensions/Skins as an alias of Extension/Skin on Mediawikiwiki
Closed, ResolvedPublic
Actions