changed the extension to use sphinx-contrib/phpdomain and finished up the config page