7 Commits

Author	SHA1	Message	Date
w0rp	7dee9da0f2	Fix documentation for the PHP langserver options	2017-08-10 10:28:42 +01:00
w0rp	39ebb431b6	Document the PHP langserver integration	2017-08-07 13:08:51 +01:00
Ardis	7d174b0056	Added phpstan linter for php. (#772) ... * Added phpstan linter for php.	2017-07-16 15:04:25 +01:00
w0rp	fdc7166c3c	Use equal signs for language documentation sections	2017-07-08 14:17:26 +01:00
w0rp	93539e10de	Document the new phpcs options	2017-06-21 22:38:56 +01:00
Adriaan Zonnenberg	ba6dbde906	Add tags for buffer-local variants of each linter option	2017-04-27 23:04:34 +02:00
w0rp	d7f8324c3c	Move linter documentation into separate files	2017-03-28 23:25:44 +01:00