Add the PHP implementation