|
@@ 1238-1251 (lines=14) @@
|
| 1235 |
|
{ |
| 1236 |
|
$php_parts = preg_split('~(<\?php|\?>)~', $data, -1, PREG_SPLIT_DELIM_CAPTURE); |
| 1237 |
|
|
| 1238 |
|
for ($php_i = 0, $php_n = count($php_parts); $php_i < $php_n; $php_i++) |
| 1239 |
|
{ |
| 1240 |
|
// Do PHP code coloring? |
| 1241 |
|
if ($php_parts[$php_i] != '<?php') |
| 1242 |
|
continue; |
| 1243 |
|
|
| 1244 |
|
$php_string = ''; |
| 1245 |
|
while ($php_i + 1 < count($php_parts) && $php_parts[$php_i] != '?>') |
| 1246 |
|
{ |
| 1247 |
|
$php_string .= $php_parts[$php_i]; |
| 1248 |
|
$php_parts[$php_i++] = ''; |
| 1249 |
|
} |
| 1250 |
|
$php_parts[$php_i] = highlight_php_code($php_string . $php_parts[$php_i]); |
| 1251 |
|
} |
| 1252 |
|
|
| 1253 |
|
// Fix the PHP code stuff... |
| 1254 |
|
$data = str_replace("<pre style=\"display: inline;\">\t</pre>", "\t", implode('', $php_parts)); |
|
@@ 1275-1288 (lines=14) @@
|
| 1272 |
|
{ |
| 1273 |
|
$php_parts = preg_split('~(<\?php|\?>)~', $data[0], -1, PREG_SPLIT_DELIM_CAPTURE); |
| 1274 |
|
|
| 1275 |
|
for ($php_i = 0, $php_n = count($php_parts); $php_i < $php_n; $php_i++) |
| 1276 |
|
{ |
| 1277 |
|
// Do PHP code coloring? |
| 1278 |
|
if ($php_parts[$php_i] != '<?php') |
| 1279 |
|
continue; |
| 1280 |
|
|
| 1281 |
|
$php_string = ''; |
| 1282 |
|
while ($php_i + 1 < count($php_parts) && $php_parts[$php_i] != '?>') |
| 1283 |
|
{ |
| 1284 |
|
$php_string .= $php_parts[$php_i]; |
| 1285 |
|
$php_parts[$php_i++] = ''; |
| 1286 |
|
} |
| 1287 |
|
$php_parts[$php_i] = highlight_php_code($php_string . $php_parts[$php_i]); |
| 1288 |
|
} |
| 1289 |
|
|
| 1290 |
|
// Fix the PHP code stuff... |
| 1291 |
|
$data[0] = str_replace("<pre style=\"display: inline;\">\t</pre>", "\t", implode('', $php_parts)); |