How to get body of a JSON POST in PHP?

I submit as POST to a PHP page the following data: ```json {a:1} ``` In my PHP code, what do I have to do to extract that value? ```php var_dump($_POST); ``` This does not work, and returns an empty array.