Update src/example.php