]> git.openstreetmap.org Git - nominatim.git/blobdiff - lib/init-cmd.php
Merge pull request #2030 from lonvia/improve-ci
[nominatim.git] / lib / init-cmd.php
index 860ef2158264b5a9c910af85388079111eac5ec1..50c709c9ad16d1c89dfc359a1f083abfb3623dfa 100644 (file)
@@ -2,6 +2,7 @@
 
 require_once('init.php');
 require_once('cmd.php');
 
 require_once('init.php');
 require_once('cmd.php');
+require_once('DebugNone.php');
 
 // handle http proxy when using file_get_contents
 if (CONST_HTTP_Proxy) {
 
 // handle http proxy when using file_get_contents
 if (CONST_HTTP_Proxy) {