PHP formatter script using phpformatter.com as backend