Kevin Israel a508f5daee FormatJson: Remove PHP 5.3 compatibility code ... MediaWiki now only works with PHP versions that are new enough to have the encoding options required by encode54(). So fold that into encode() and remove encode53() and prettyPrint(). Change-Id: I6b22daf8fa01ef608efbde9c6aecdbb5ce03e2b9		2016-02-12 18:49:01 -05:00
..
FormatJson.php	FormatJson: Remove PHP 5.3 compatibility code	2016-02-12 18:49:01 -05:00