Page MenuHomePhabricator

Add an .editorconfig to MediaWiki
Closed, ResolvedPublic

Description

Add an .editorconfig file that specifies the config for editors.

Details

Related Gerrit Patches:
mediawiki/core : masterAdd a simple .editorconfig

Event Timeline

dbarratt created this task.Aug 9 2017, 10:38 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptAug 9 2017, 10:38 PM

Change 370970 had a related patch set uploaded (by Dbarratt; owner: Dbarratt):
[mediawiki/core@master] Fix T172959 by adding a simple .editorconfig

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

Change 370970 merged by jenkins-bot:
[mediawiki/core@master] Add a simple .editorconfig

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

dbarratt closed this task as Resolved.May 31 2018, 3:34 PM
dbarratt claimed this task.