1 files changed, 5 insertions, 0 deletions
diff --git a/boot.php b/boot.php
index 1d7c1803c..10f1cddc7 100644
--- a/boot.php
+++ b/boot.php
@@ -1867,3 +1867,8 @@ function argc() {
 function argv($x) {
 	return get_app()->argv[$x];
 }
+
+function dba_timer() {
+	return microtime(true);
+}
+