Small example with PHP and JSON