|
@@ 1180-1193 (lines=14) @@
|
| 1177 |
|
{ |
| 1178 |
|
$php_parts = preg_split('~(<\?php|\?>)~', $data, -1, PREG_SPLIT_DELIM_CAPTURE); |
| 1179 |
|
|
| 1180 |
|
for ($php_i = 0, $php_n = count($php_parts); $php_i < $php_n; $php_i++) |
| 1181 |
|
{ |
| 1182 |
|
// Do PHP code coloring? |
| 1183 |
|
if ($php_parts[$php_i] != '<?php') |
| 1184 |
|
continue; |
| 1185 |
|
|
| 1186 |
|
$php_string = ''; |
| 1187 |
|
while ($php_i + 1 < count($php_parts) && $php_parts[$php_i] != '?>') |
| 1188 |
|
{ |
| 1189 |
|
$php_string .= $php_parts[$php_i]; |
| 1190 |
|
$php_parts[$php_i++] = ''; |
| 1191 |
|
} |
| 1192 |
|
$php_parts[$php_i] = highlight_php_code($php_string . $php_parts[$php_i]); |
| 1193 |
|
} |
| 1194 |
|
|
| 1195 |
|
// Fix the PHP code stuff... |
| 1196 |
|
$data = str_replace("<pre style=\"display: inline;\">\t</pre>", "\t", implode('', $php_parts)); |
|
@@ 1217-1230 (lines=14) @@
|
| 1214 |
|
{ |
| 1215 |
|
$php_parts = preg_split('~(<\?php|\?>)~', $data[0], -1, PREG_SPLIT_DELIM_CAPTURE); |
| 1216 |
|
|
| 1217 |
|
for ($php_i = 0, $php_n = count($php_parts); $php_i < $php_n; $php_i++) |
| 1218 |
|
{ |
| 1219 |
|
// Do PHP code coloring? |
| 1220 |
|
if ($php_parts[$php_i] != '<?php') |
| 1221 |
|
continue; |
| 1222 |
|
|
| 1223 |
|
$php_string = ''; |
| 1224 |
|
while ($php_i + 1 < count($php_parts) && $php_parts[$php_i] != '?>') |
| 1225 |
|
{ |
| 1226 |
|
$php_string .= $php_parts[$php_i]; |
| 1227 |
|
$php_parts[$php_i++] = ''; |
| 1228 |
|
} |
| 1229 |
|
$php_parts[$php_i] = highlight_php_code($php_string . $php_parts[$php_i]); |
| 1230 |
|
} |
| 1231 |
|
|
| 1232 |
|
// Fix the PHP code stuff... |
| 1233 |
|
$data[0] = str_replace("<pre style=\"display: inline;\">\t</pre>", "\t", implode('', $php_parts)); |