function rcube_print_time($timer, $label = 'Timer', $dest = 'console') { rcmail::print_timer($timer, $label, $dest); }
function rcube_print_time($timer, $label = 'Timer', $dest = 'console') { _deprecation_warning(__FUNCTION__); rcmail::print_timer($timer, $label, $dest); }