equal
deleted
inserted
replaced
19 function dc_here($m) { return false; } |
19 function dc_here($m) { return false; } |
20 function dc_dump($a, $g) { return false; } |
20 function dc_dump($a, $g) { return false; } |
21 function dc_watch($n) { return false; } |
21 function dc_watch($n) { return false; } |
22 function dc_start_timer($u) { return false; } |
22 function dc_start_timer($u) { return false; } |
23 function dc_stop_timer($m) { return false; } |
23 function dc_stop_timer($m) { return false; } |
|
24 function microtime_float() |
|
25 { |
|
26 list($usec, $sec) = explode(" ", microtime()); |
|
27 return ((float)$usec + (float)$sec); |
|
28 } |
24 // Determine directory (special case for development servers) |
29 // Determine directory (special case for development servers) |
25 if ( strpos(__FILE__, '/repo/') && file_exists('.enanodev') ) |
30 if ( strpos(__FILE__, '/repo/') && file_exists('.enanodev') ) |
26 { |
31 { |
27 $filename = str_replace('/repo/', '/', __FILE__); |
32 $filename = str_replace('/repo/', '/', __FILE__); |
28 } |
33 } |