fix merge error

[nominatim.git] / lib / log.php

diff --git a/lib/log.php b/lib/log.php
index c09e74be53d8a9bab1016152cbd91e57e27f0bd3..9a064b9b7309058cf31db900772ea52e774ebfa7 100644 (file)
--- a/lib/log.php
+++ b/lib/log.php
@@ -1,5 +1,6 @@
 <?php
 
+
 function logStart(&$oDB, $sType = '', $sQuery = '', $aLanguageList = array())
 {
     $fStartTime = microtime(true);
@@ -70,5 +71,4 @@ function logEnd(&$oDB, $hLog, $iNumResults)
         );
         file_put_contents(CONST_Log_File, $aOutdata, FILE_APPEND | LOCK_EX);
     }
-
 }