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	883978ece9	#2132 - Replace all uses of foo_callback with foo	2019-02-22 18:05:04 +00:00
Matthew Brown	0ed07a9ef5	Update Psalm plugin to use LSP mode	2018-10-19 15:51:16 -04:00
Richard Marmorstein	947360f714	Add psalm linter for PHP (#1893)	2018-09-27 16:48:47 +01:00