Added a PHP function