JSON_PRETTY_PRINT introduced only with PHP 5.4

Apparently JSON_PRETTY_PRINT option was only introduced with PHP 5.4
therefore we use FormatJson::encode() which does pretty print in PHP 5.3