@dbu it's a feature of Sphinx. If you have set the default domain to PHP, you are good to go.