wikimedia /
mediawiki
| @@ 1918-1930 (lines=13) @@ | ||
| 1915 | $tt = TOKEN_NUMBER; |
|
| 1916 | break; |
|
| 1917 | ||
| 1918 | case "'": |
|
| 1919 | if (preg_match('/^\'(?:[^\\\\\'\r\n]++|\\\\(?:.|\r?\n))*\'/', $input, $match)) |
|
| 1920 | { |
|
| 1921 | $tt = TOKEN_STRING; |
|
| 1922 | } |
|
| 1923 | else |
|
| 1924 | { |
|
| 1925 | if ($chunksize) |
|
| 1926 | return $this->get(null); // retry with a full chunk fetch |
|
| 1927 | ||
| 1928 | throw $this->newSyntaxError('Unterminated string literal'); |
|
| 1929 | } |
|
| 1930 | break; |
|
| 1931 | ||
| 1932 | case '"': |
|
| 1933 | if (preg_match('/^"(?:[^\\\\"\r\n]++|\\\\(?:.|\r?\n))*"/', $input, $match)) |
|
| @@ 1932-1944 (lines=13) @@ | ||
| 1929 | } |
|
| 1930 | break; |
|
| 1931 | ||
| 1932 | case '"': |
|
| 1933 | if (preg_match('/^"(?:[^\\\\"\r\n]++|\\\\(?:.|\r?\n))*"/', $input, $match)) |
|
| 1934 | { |
|
| 1935 | $tt = TOKEN_STRING; |
|
| 1936 | } |
|
| 1937 | else |
|
| 1938 | { |
|
| 1939 | if ($chunksize) |
|
| 1940 | return $this->get(null); // retry with a full chunk fetch |
|
| 1941 | ||
| 1942 | throw $this->newSyntaxError('Unterminated string literal'); |
|
| 1943 | } |
|
| 1944 | break; |
|
| 1945 | ||
| 1946 | case '/': |
|
| 1947 | if ($this->scanOperand && preg_match('/^\/((?:\\\\.|\[(?:\\\\.|[^\]])*\]|[^\/])+)\/([gimy]*)/', $input, $match)) |
|
