Update setup-config-html.php

GNU style formatter