#External_Guidance should be renamed to #mediawiki-extensions-ExternalGuidance or #ExternalGuidance
Closed, ResolvedPublic
Actions

Edit Task
Edit Related Tasks...
Create Subtask
Edit Parent Tasks
Edit Subtasks
Merge Duplicates In
Close As Duplicate
Edit Related Objects...
Edit Commits
Edit Mocks
Mute Notifications
Protect as security issue
Award Token
Flag For Later

Assigned To

Authored By

	MarcoAurelio
	Dec 19 2018, 10:27 AM

Description

Per the mediawiki guideline on project naming I suggest that this project be renamed to #mediawiki-extensions-ExternalGuidance or at least #ExternalGuidance to match with the naming of the other mediawiki extension projects we host. Thanks.

Event Timeline

MarcoAurelio created this task.Dec 19 2018, 10:27 AM

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptDec 19 2018, 10:27 AM

• santhosh assigned this task to Arrbee.Dec 19 2018, 10:35 AM

Renamed to #ExternalGuidance

¡Gracias!

• santhosh moved this task from Backlog to Done on the ExternalGuidance board.Feb 7 2019, 5:50 AM

#External_Guidance should be renamed to #mediawiki-extensions-ExternalGuidance or #ExternalGuidanceClosed, ResolvedPublicActions

Description

Event Timeline

#External_Guidance should be renamed to #mediawiki-extensions-ExternalGuidance or #ExternalGuidance
Closed, ResolvedPublic
Actions