PHP source code formatter