disable php_doc lookup (for now)