4 Commits

Author	SHA1	Message	Date
Martin Aeschlimann	1ff2c4809d	[php] setting to disable suggestions and hover (for #9003)	2017-01-23 15:25:13 +01:00
Sara Itani	cf77a2cf8c	#9003 Provide temporary option to disable the built-in PHP completion provider. ... This option enables extension authors providing PHP support to prevent needless duplication in the completions list. We can remove it when we extract this functionality to a separate extension.	2017-01-23 01:05:02 -08:00
Martin Aeschlimann	e228769042	Polish configuration section labels & add link	2016-06-27 18:37:04 +02:00
Martin Aeschlimann	9b737ec24e	Fixes #4156: PHP settings documentation is not localized	2016-03-15 17:07:14 +01:00