added $query_times property to DB driver for profiling
added individual query execution time to profiler output
diff --git a/system/database/DB_driver.php b/system/database/DB_driver.php
index 65be13d..dbd54be 100644
--- a/system/database/DB_driver.php
+++ b/system/database/DB_driver.php
@@ -48,6 +48,7 @@
 	var $bind_marker	= '?';

 	var $save_queries	= TRUE;

 	var $queries		= array();

+	var $query_times	= array();

 	var $data_cache		= array();

 	var $trans_enabled	= TRUE;

 	var $_trans_depth	= 0;

@@ -341,6 +342,11 @@
 		$time_end = list($em, $es) = explode(' ', microtime());

 		$this->benchmark += ($em + $es) - ($sm + $ss);

 

+		if ($this->save_queries == TRUE)

+		{

+			$this->query_times[] = ($em + $es) - ($sm + $ss);

+		}

+		

 		// Increment the query counter

 		$this->query_count++;