@@ -113,7 +113,7 @@ discard block |
||
113 | 113 | private function unsignedRightShift($a, $b) |
114 | 114 | { |
115 | 115 | if ($b >= 32 || $b < -32) { |
116 | - $m = (int)($b / 32); |
|
116 | + $m = (int) ($b / 32); |
|
117 | 117 | $b = $b - ($m * 32); |
118 | 118 | } |
119 | 119 | |
@@ -147,7 +147,7 @@ discard block |
||
147 | 147 | */ |
148 | 148 | private function JS_charCodeAt($str, $index) { |
149 | 149 | $utf16 = mb_convert_encoding($str, 'UTF-16LE', 'UTF-8'); |
150 | - return ord($utf16[$index*2]) + (ord($utf16[$index*2+1]) << 8); |
|
150 | + return ord($utf16[$index * 2]) + (ord($utf16[$index * 2 + 1]) << 8); |
|
151 | 151 | } |
152 | 152 | |
153 | 153 | /** |
@@ -159,6 +159,6 @@ discard block |
||
159 | 159 | */ |
160 | 160 | private function JS_length($str) { |
161 | 161 | $utf16 = mb_convert_encoding($str, 'UTF-16LE', 'UTF-8'); |
162 | - return strlen($utf16)/2; |
|
162 | + return strlen($utf16) / 2; |
|
163 | 163 | } |
164 | 164 | } |