Some helpers and stuff for PHP.