|
@@ 1151-1164 (lines=14) @@
|
| 1148 |
|
{ |
| 1149 |
|
$php_parts = preg_split('~(<\?php|\?>)~', $data, -1, PREG_SPLIT_DELIM_CAPTURE); |
| 1150 |
|
|
| 1151 |
|
for ($php_i = 0, $php_n = count($php_parts); $php_i < $php_n; $php_i++) |
| 1152 |
|
{ |
| 1153 |
|
// Do PHP code coloring? |
| 1154 |
|
if ($php_parts[$php_i] != '<?php') |
| 1155 |
|
continue; |
| 1156 |
|
|
| 1157 |
|
$php_string = ''; |
| 1158 |
|
while ($php_i + 1 < count($php_parts) && $php_parts[$php_i] != '?>') |
| 1159 |
|
{ |
| 1160 |
|
$php_string .= $php_parts[$php_i]; |
| 1161 |
|
$php_parts[$php_i++] = ''; |
| 1162 |
|
} |
| 1163 |
|
$php_parts[$php_i] = highlight_php_code($php_string . $php_parts[$php_i]); |
| 1164 |
|
} |
| 1165 |
|
|
| 1166 |
|
// Fix the PHP code stuff... |
| 1167 |
|
$data = str_replace("<pre style=\"display: inline;\">\t</pre>", "\t", implode('', $php_parts)); |
|
@@ 1188-1201 (lines=14) @@
|
| 1185 |
|
{ |
| 1186 |
|
$php_parts = preg_split('~(<\?php|\?>)~', $data[0], -1, PREG_SPLIT_DELIM_CAPTURE); |
| 1187 |
|
|
| 1188 |
|
for ($php_i = 0, $php_n = count($php_parts); $php_i < $php_n; $php_i++) |
| 1189 |
|
{ |
| 1190 |
|
// Do PHP code coloring? |
| 1191 |
|
if ($php_parts[$php_i] != '<?php') |
| 1192 |
|
continue; |
| 1193 |
|
|
| 1194 |
|
$php_string = ''; |
| 1195 |
|
while ($php_i + 1 < count($php_parts) && $php_parts[$php_i] != '?>') |
| 1196 |
|
{ |
| 1197 |
|
$php_string .= $php_parts[$php_i]; |
| 1198 |
|
$php_parts[$php_i++] = ''; |
| 1199 |
|
} |
| 1200 |
|
$php_parts[$php_i] = highlight_php_code($php_string . $php_parts[$php_i]); |
| 1201 |
|
} |
| 1202 |
|
|
| 1203 |
|
// Fix the PHP code stuff... |
| 1204 |
|
$data[0] = str_replace("<pre style=\"display: inline;\">\t</pre>", "\t", implode('', $php_parts)); |