Remove sphinxcontrib.phpdomain extension