Update example/empty/example.php