Update the tools to use the new namespaces

2021-05-10 15:04:36 +02:00
parent eb30d8ef97
commit 03ede5c375
4 changed files with 20 additions and 20 deletions
--- a/tools/markdown.php
+++ b/tools/markdown.php
@@ -1,7 +1,7 @@
 #!/usr/bin/php
 <?php

-require_once ("domframework/markdown.php");
+require_once (__DIR__."/../src/markdown.php");

 if (! isset ($argv[1]))
 {