add newline after execution time comment
parent
dac97294fd
commit
f96446d7c2
|
@ -272,7 +272,7 @@ function show_page($output, $exit) {
|
||||||
|
|
||||||
// PHP execution time tracking
|
// PHP execution time tracking
|
||||||
global $timer_start;
|
global $timer_start;
|
||||||
echo "<!-- PHP execution time: " . (microtime(true) - $timer_start)*1000 . " ms -->";
|
echo "<!-- PHP execution time: " . (microtime(true) - $timer_start)*1000 . " ms -->\n";
|
||||||
|
|
||||||
exit($exit);
|
exit($exit);
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue