wikimedia/mediawiki-extensions-OATHAuth
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/OATHAuth synced 2024-09-23 10:23:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
853 commits 272 branches 5 tags 19 MiB
Commit graph

7 commits

Author SHA1 Message Date
James D. Forrester 31c72b5898 build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint 
Change-Id: I13f58204a37fe34b802c1fd481927d1226f77430
 2019-05-07 09:59:52 -07:00
Kunal Mehta bd842b527c Upgrade to newer phan 
Bug: T216931
Change-Id: I7617593141b3a646113e033fdbb1e9c102975a69
 2019-03-17 11:38:10 -07:00
Kunal Mehta 6e74fa9fba Add phan configuration 
Change-Id: I80852cc4ac4ea0bff3b07b2468216eb53271e250
 2018-04-09 00:56:37 -07:00
Bryan Davis 0e37c6ca1f Add composer.lock to .gitignore 
Change-Id: If5b8459cd967bf4b056573f4223f5bc886960251
 2016-09-28 21:25:40 -06:00
Paladox 41b9f5d2e7 Add grunt-contrib-jshint to npm 
Change-Id: I6bcf5c2b98e918f675181c2fe283416f07cce982
 2016-03-24 16:47:31 +00:00
Kunal Mehta dfa0b83f81 build: Configure banana-checker and jsonlint 
Change-Id: Id3cef50dea13682bdb6a9fec847b20cb1a15a1ed
 2015-06-19 21:58:30 -07:00
Reedy 37842c33eb Add .gitignore 
Change-Id: Id473eb4717e561ce99fb30c5319fe134c3c3e6bb
 2012-05-21 01:40:20 +01:00