Fix formatting in SphinxConfig.php