Editor: Fix bit edit

diff --git a/editor/include/editing.inc.php b/editor/include/editing.inc.php
index 8ef2c944521feba8d06781968cb6d384473e9207..f0fdc494e1186b598f925e521ac16f3a3c4d66c9 100644 (file)
--- a/editor/include/editing.inc.php
+++ b/editor/include/editing.inc.php
@@ -1,6 +1,10 @@
 <?php
 namespace Adminer;
 
+function doc_link(array $paths, string $text = ""): string {
+       return "";
+}
+
 /** Encode e-mail header in UTF-8 */
 function email_header(string $header): string {
        // iconv_mime_encode requires iconv, imap_8bit requires IMAP extension