From f074085f22ec15e00e2496b44e53d35c9d2b1ff9 Mon Sep 17 00:00:00 2001
From: Jon Atkins <github@jonatkins.com>
Date: Wed, 30 Oct 2013 21:22:04 +0000
Subject: [PATCH] website: version check backend: remove json formatting - was
 only used for debugging

---
 website/versioncheck.php | 61 ----------------------------------------
 1 file changed, 61 deletions(-)

diff --git a/website/versioncheck.php b/website/versioncheck.php
index 479d371c..35e24574 100644
--- a/website/versioncheck.php
+++ b/website/versioncheck.php
@@ -82,7 +82,6 @@ else
 
 
 $data = json_encode ( $response );
-$data = indent($data);
 
 
 # send the response - allow either jsonp (using a 'callback' parameter), or regular json
@@ -106,63 +105,3 @@ else
 }
 
 
-// http://www.daveperrett.com/articles/2008/03/11/format-json-with-php/
-/**
- * Indents a flat JSON string to make it more human-readable.
- *
- * @param string $json The original JSON string to process.
- *
- * @return string Indented version of the original JSON string.
- */
-function indent($json) {
-
-    $result      = '';
-    $pos         = 0;
-    $strLen      = strlen($json);
-    $indentStr   = '  ';
-    $newLine     = "\n";
-    $prevChar    = '';
-    $outOfQuotes = true;
-
-    for ($i=0; $i<=$strLen; $i++) {
-
-        // Grab the next character in the string.
-        $char = substr($json, $i, 1);
-
-        // Are we inside a quoted string?
-        if ($char == '"' && $prevChar != '\\') {
-            $outOfQuotes = !$outOfQuotes;
-
-        // If this character is the end of an element,
-        // output a new line and indent the next line.
-        } else if(($char == '}' || $char == ']') && $outOfQuotes) {
-            $result .= $newLine;
-            $pos --;
-            for ($j=0; $j<$pos; $j++) {
-                $result .= $indentStr;
-            }
-        }
-
-        // Add the character to the result string.
-        $result .= $char;
-
-        // If the last character was the beginning of an element,
-        // output a new line and indent the next line.
-        if (($char == ',' || $char == '{' || $char == '[') && $outOfQuotes) {
-            $result .= $newLine;
-            if ($char == '{' || $char == '[') {
-                $pos ++;
-            }
-
-            for ($j = 0; $j < $pos; $j++) {
-                $result .= $indentStr;
-            }
-        }
-
-        $prevChar = $char;
-    }
-
-    return $result;
-}
-
-?>