| @@ 113-119 (lines=7) @@ | ||
| 110 | ||
| 111 | $token = $tokens[$i]; |
|
| 112 | ||
| 113 | if ($userdef !== false) { |
|
| 114 | $tokens[$userdef] .= $token; |
|
| 115 | unset($tokens[$i]); |
|
| 116 | if ($token !== '@') { |
|
| 117 | $userdef = false; |
|
| 118 | } |
|
| 119 | } |
|
| 120 | ||
| 121 | if ($userdef === false && $token === '@') { |
|
| 122 | $userdef = $i; |
|
| @@ 145-152 (lines=8) @@ | ||
| 142 | ||
| 143 | $token = $tokens[$i]; |
|
| 144 | ||
| 145 | if ($comment !== false) { |
|
| 146 | if ($token === "\n" || $token === "\r\n") { |
|
| 147 | $comment = false; |
|
| 148 | } else { |
|
| 149 | unset($tokens[$i]); |
|
| 150 | $tokens[$comment] .= $token; |
|
| 151 | } |
|
| 152 | } |
|
| 153 | ||
| 154 | if (($comment === false) && ($token === '-')) { |
|
| 155 | if (isset($tokens[$i + 1]) && $tokens[$i + 1] === '-') { |
|