Fix formatting in SphinxConfig.php

php is stupid