PHP: code intelligence configuration

Documentation for PHP support on Sourcegraph was moved to the PHP Sourcegraph extension documentation.

See PHP documentation for older versions (Sourcegraph 2.x).