6 Commits

Author	SHA1	Message	Date
w0rp	f1ecc2e068	Fix psalm options. Retry on some test failures	2020-08-29 16:31:47 +01:00
Grégoire Paris	95b8689835	Add the possiblity to add extra psalm options	2019-10-07 23:15:01 +02:00
Grégoire Paris	e47c1965a6	Use the psalm executable with the LS option ... This is the simplest way of getting the psalm language server to run now.	2019-07-25 23:19:30 +02:00
w0rp	3eb6d7b3db	#2395 - Handle empty output for redpen	2019-03-29 16:09:27 +00:00
Matt Brown	7fa0d3dcc4	Add tests for updated Psalm plugin	2018-10-19 16:31:12 -04:00
Richard Marmorstein	947360f714	Add psalm linter for PHP (#1893)	2018-09-27 16:48:47 +01:00