minify html output in php