Helper script to un-dumb php.