Update examples/micro/example.php