wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 23:03:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
637 commits 163 branches 5 tags 27 MiB
Commit graph

5 commits

Author SHA1 Message Date
Ed Sanders 23ded9e5aa build: Update devDependencies 
Change-Id: Ief3ccdd3eab0d8be54bcf818eaa7dbbcc3de7e87
 2020-06-12 22:55:52 +01:00
zoranzoki21 b22a552157 Upgrade CodeEditor to use newer version of phan 
Bug: T216913
Change-Id: I8f200ffa0887b5f983adb151ab9de517f9c4bc4c
 2019-02-28 18:17:13 +01:00
Ed Sanders 737bfb2c80 Fix typo in eslint extends 
Change-Id: I9d18c7942cde83f48b13b42aaacd8ca5e4b83a15
 2018-12-14 15:08:40 +00:00
James D. Forrester c692070874 build: Bump linting devDependencies to latest 
eslint-config-wikimedia      0.5.0  →   0.8.1
 + eslint-plugin-qunit                   3.3.0
 grunt-eslint                20.1.0  →  21.0.0
 grunt-stylelint              0.9.0  →  0.10.1
 stylelint                    8.2.0  →   9.2.0
 stylelint-config-wikimedia   0.4.2  →   0.4.3

Change-Id: I34518a652fe144df5215b82e7e0c3e74f9b46a0d
 2018-11-05 17:21:34 -08:00
Kunal Mehta d6e1eba3e7 Add phan configuration 
Change-Id: I338064edc703151e77449b6044a99a30095eb1a1
 2018-04-08 21:54:56 -07:00