diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:15:42 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:44:51 +0100 |
commit | a1789ddde42033f1b05cc4929491214ee6e79383 (patch) | |
tree | 63615735c4ddffaaabf2428946bb26f90899f7bf /includes/json/FormatJson.php | |
parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) |
Update to MediaWiki 1.26.0
Diffstat (limited to 'includes/json/FormatJson.php')
-rw-r--r-- | includes/json/FormatJson.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/json/FormatJson.php b/includes/json/FormatJson.php index 095811ff..f85ee920 100644 --- a/includes/json/FormatJson.php +++ b/includes/json/FormatJson.php @@ -380,7 +380,7 @@ class FormatJson { $inComment = false; $multiline = false; - for ($idx = 0; $idx < $maxLen; $idx++) { + for ( $idx = 0; $idx < $maxLen; $idx++ ) { switch ( $str[$idx] ) { case '"': $lookBehind = ( $idx - 1 >= 0 ) ? $str[$idx - 1] : ''; |