Some handy php scripts