Various utils for PHP