dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5926372) | patch
FormatJson: Remove PHP 5.3 compatibility code
authorKevin Israel <pleasestand@live.com>
Fri, 12 Feb 2016 23:49:01 +0000 (18:49 -0500)
committerKevin Israel <pleasestand@live.com>
Fri, 12 Feb 2016 23:49:01 +0000 (18:49 -0500)
commita508f5daeee0f93f00cb262a8ba519a2af0870a5
tree1b7221d7d205a34cdfbb855c6e306a5de4aa7849tree | snapshot
parent592637225a4d5db5abcdc288d838c160284eef08commit | diff
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
includes/json/FormatJson.php diff | blob | history
Wiklou, le Wiki du Wiklou