A development library for PHP5