@@ -112,7 +112,7 @@ discard block |
||
| 112 | 112 | private function unsignedRightShift($a, $b) |
| 113 | 113 | { |
| 114 | 114 | if ($b >= 32 || $b < -32) { |
| 115 | - $m = (int)($b / 32); |
|
| 115 | + $m = (int) ($b / 32); |
|
| 116 | 116 | $b = $b - ($m * 32); |
| 117 | 117 | } |
| 118 | 118 | |
@@ -147,7 +147,7 @@ discard block |
||
| 147 | 147 | private function JS_charCodeAt($str, $index) |
| 148 | 148 | { |
| 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 | /** |
@@ -160,6 +160,6 @@ discard block |
||
| 160 | 160 | private function JS_length($str) |
| 161 | 161 | { |
| 162 | 162 | $utf16 = mb_convert_encoding($str, 'UTF-16LE', 'UTF-8'); |
| 163 | - return strlen($utf16)/2; |
|
| 163 | + return strlen($utf16) / 2; |
|
| 164 | 164 | } |
| 165 | 165 | } |