trying out some PHP minifiers