Update HelloWorld/functions.inc.php