Tool for minimizing PHP script