Sara Itani b82e95c39f Enable fileEvents in client options (#83) ... This is necessary to notify the server about changes to PHP files in the workspace and receive workspace/file		2017-04-10 14:09:47 +02:00
..
test	Initial Commit	2016-08-25 17:55:00 +02:00
extension.ts	Enable fileEvents in client options (#83)	2017-04-10 14:09:47 +02:00