Initial commit of source code for PHP