some useful utils for php