forked from getify/JSON.minify
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathminify.json.php
57 lines (52 loc) · 1.84 KB
/
minify.json.php
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
<?php
/*! JSON.minify()
v0.1 (c) Kyle Simpson
MIT License
*/
function json_minify($json) {
$tokenizer = "/\"|(\/\*)|(\*\/)|(\/\/)|\n|\r/";
$in_string = false;
$in_multiline_comment = false;
$in_singleline_comment = false;
$tmp; $tmp2; $new_str = array(); $ns = 0; $from = 0; $lc; $rc; $lastIndex = 0;
while (preg_match($tokenizer,$json,$tmp,PREG_OFFSET_CAPTURE,$lastIndex)) {
$tmp = $tmp[0];
$lastIndex = $tmp[1] + strlen($tmp[0]);
$lc = substr($json,0,$lastIndex - strlen($tmp[0]));
$rc = substr($json,$lastIndex);
if (!$in_multiline_comment && !$in_singleline_comment) {
$tmp2 = substr($lc,$from);
if (!$in_string) {
$tmp2 = preg_replace("/(\n|\r|\s)*/","",$tmp2);
}
$new_str[] = $tmp2;
}
$from = $lastIndex;
if ($tmp[0] == "\"" && !$in_multiline_comment && !$in_singleline_comment) {
preg_match("/(\\\\)*$/",$lc,$tmp2);
if (!$in_string || !$tmp2 || (strlen($tmp2[0]) % 2) == 0) { // start of string with ", or unescaped " character found to end string
$in_string = !$in_string;
}
$from--; // include " character in next catch
$rc = substr($json,$from);
}
else if ($tmp[0] == "/*" && !$in_string && !$in_multiline_comment && !$in_singleline_comment) {
$in_multiline_comment = true;
}
else if ($tmp[0] == "*/" && !$in_string && $in_multiline_comment && !$in_singleline_comment) {
$in_multiline_comment = false;
}
else if ($tmp[0] == "//" && !$in_string && !$in_multiline_comment && !$in_singleline_comment) {
$in_singleline_comment = true;
}
else if (($tmp[0] == "\n" || $tmp[0] == "\r") && !$in_string && !$in_multiline_comment && $in_singleline_comment) {
$in_singleline_comment = false;
}
else if (!$in_multiline_comment && !$in_singleline_comment && !(preg_match("/\n|\r|\s/",$tmp[0]))) {
$new_str[] = $tmp[0];
}
}
$new_str[] = $rc;
return implode("",$new_str);
}
?>