wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-27 17:50:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
1708 commits 11 branches 26 tags 35 MiB
Commit graph

1 commit

Author SHA1 Message Date
libraryupgrader 027dff4ba7 build: Updating mediawiki/mediawiki-codesniffer to 14.1.0 
And moved phpcs.xml to .phpcs.xml (T177256).

Change-Id: If18c1974ea90fb98db1f18a24357abb4c0dd7efd
 2017-10-21 04:33:19 +00:00
Renamed from phpcs.xml (Browse further)