| @@ 2202-2207 (lines=6) @@ | ||
| 2199 | } else { |
|
| 2200 | $j = $i+1; |
|
| 2201 | while (($j < $numchars) AND ($chardata[$j]['level'] == $prevlevel)) { |
|
| 2202 | if ($chardata[$j]['type'] == 'EN') { |
|
| 2203 | $chardata[$i]['type'] = 'EN'; |
|
| 2204 | break; |
|
| 2205 | } elseif ($chardata[$j]['type'] != 'ET') { |
|
| 2206 | break; |
|
| 2207 | } |
|
| 2208 | ++$j; |
|
| 2209 | } |
|
| 2210 | } |
|
| @@ 2241-2245 (lines=5) @@ | ||
| 2238 | for ($i=0; $i < $numchars; ++$i) { |
|
| 2239 | if ($chardata[$i]['char'] == 'EN') { |
|
| 2240 | for ($j=$levcount; $j >= 0; $j--) { |
|
| 2241 | if ($chardata[$j]['type'] == 'L') { |
|
| 2242 | $chardata[$i]['type'] = 'L'; |
|
| 2243 | } elseif ($chardata[$j]['type'] == 'R') { |
|
| 2244 | break; |
|
| 2245 | } |
|
| 2246 | } |
|
| 2247 | } |
|
| 2248 | if ($chardata[$i]['level'] != $prevlevel) { |
|