From bec7e8287c690ef33ae2b0da084ae274bf192220 Mon Sep 17 00:00:00 2001 From: Kevin Israel Date: Mon, 14 Apr 2014 03:14:33 -0400 Subject: [PATCH] FormatJson: Skip whitespace cleanup when unnecessary The patch[1] for PHP bug 66021[2], which removes the same undesirable whitespace that WS_CLEANUP_REGEX does, has been merged into php-src. Subsequent PHP versions having the patch shouldn't have to take the 10-20% performance hit from that workaround. [1]: https://github.com/php/php-src/commit/82a4f1a1a287 [2]: https://bugs.php.net/bug.php?id=66021 Change-Id: I717a0e164952cc6ace104f13f6236e86c4ab8b58 --- includes/json/FormatJson.php | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/includes/json/FormatJson.php b/includes/json/FormatJson.php index 97d98a4895..eb5e632eb5 100644 --- a/includes/json/FormatJson.php +++ b/includes/json/FormatJson.php @@ -136,6 +136,11 @@ class FormatJson { * @return string|bool */ private static function encode54( $value, $pretty, $escaping ) { + static $bug66021; + if ( $pretty !== false && $bug66021 === null ) { + $bug66021 = json_encode( array(), JSON_PRETTY_PRINT ) !== '[]'; + } + // PHP escapes '/' to prevent breaking out of inline script blocks using '', // which is hardly useful when '<' and '>' are escaped (and inadequate), and such // escaping negatively impacts the human readability of URLs and similar strings. @@ -149,9 +154,11 @@ class FormatJson { } if ( $pretty !== false ) { - // Remove whitespace inside empty arrays/objects; different JSON encoders - // vary on this, and we want our output to be consistent across implementations. - $json = preg_replace( self::WS_CLEANUP_REGEX, '', $json ); + // Workaround for + // Can be removed once we require PHP >= 5.4.28, 5.5.12, 5.6.0 + if ( $bug66021 ) { + $json = preg_replace( self::WS_CLEANUP_REGEX, '', $json ); + } if ( $pretty !== ' ' ) { // Change the four-space indent to a tab indent $json = str_replace( "\n ", "\n\t", $json ); -- 2.20.1