Add a PHP implementation