cvs: php4 /pear Timer.php

sbergmann Thu Sep 28 00:27:06 2000 EDT Modified files: /php4/pear Timer.php Log: Hopefully converted all TABs to SPACEs Index: php4/pear/Timer.php diff -u php4/pear/Timer.php:1.1 php4/pear/Timer.php:1.2 --- php4/pear/Timer.php:1.1 Thu Sep 28 00:21:21 2000 +++ php4/pear/Timer.php Thu Sep 28 00:27:05 2000 @@ -17,7 +17,7 @@ // | (based upon code by Allan Kent <allan@itsolutions.co.za>) | // +----------------------------------------------------------------------+ // -// $Id: Timer.php,v 1.1 2000/09/28 07:21:21 sbergmann Exp $ +// $Id: Timer.php,v 1.2 2000/09/28 07:27:05 sbergmann Exp $ // /** @@ -37,31 +37,31 @@ * * $timer->profiling_information(); * - * @author Sebastian Bergmann <sb@phpOpenTracker.de> + * @author Sebastian Bergmann <sb@phpOpenTracker.de> * @version 1.0 28/09/00 - * @access public + * @access public */ class Timer { // {{{ properties - /** - * Contains the markers - * @var array - * @access public - */ + /** + * Contains the markers + * @var array + * @access public + */ var $markers = array(); // }}} // {{{ start() - /** - * Set "Start" marker. - * @brother stop() - * @access public - */ + /** + * Set "Start" marker. + * @brother stop() + * @access public + */ function start() { @@ -71,11 +71,11 @@ // }}} // {{{ stop() - /** - * Set "Stop" marker. - * @brother start() - * @access public - */ + /** + * Set "Stop" marker. + * @brother start() + * @access public + */ function stop() { @@ -85,11 +85,11 @@ // }}} // {{{ set_marker() - /** - * Set marker. - * @brother stop() - * @access public - */ + /** + * Set marker. + * @brother stop() + * @access public + */ function set_marker( $name ) { @@ -100,13 +100,13 @@ // }}} // {{{ time_elapsed() - /** - * Returns the time elapsed betweens two markers. + /** + * Returns the time elapsed betweens two markers. * @param string $start start marker, defaults to "Start" * @param string $end end marker, defaults to "Stop" * @return double $time_elapsed time elapsed between $start and $end - * @access public - */ + * @access public + */ function time_elapsed( $start = "Start", $end = "Stop" ) { @@ -116,10 +116,10 @@ // }}} // {{{ profiling_information() - /** - * Prints profiling information. - * @access public - */ + /** + * Prints profiling information. + * @access public + */ function profiling_information() {