Révision 38e8e479 src/phpMyEdit.class.php

b/src/phpMyEdit.class.php
3183 3183 

  		





  3184
  3184
  
    
		$this->sql_disconnect();


  		





  3185
  3185
  
    
		if ($this->display['time'] && $this->timer != null) {


  		





  3186
  
  
    
			echo $this->timer->end(),' miliseconds';


  		





  
  3186
  
    
			echo $this->timer->end(),' milliseconds';


  		





  3187
  3187
  
    
		}


  		





  3188
  3188
  
    
	} /* }}} */


  		





  3189
  3189
  
    

  		












Formats disponibles :
  Unified diff