Added a new library for PHP5.3+