From 2bcd1697757640e972ae32b16d4951c468acba3c Mon Sep 17 00:00:00 2001 From: stronk7 Date: Mon, 7 Aug 2006 19:47:03 +0000 Subject: [PATCH] Hack to link from the admin interface to the XMLDB editor. --- admin/index.php | 5 +++++ admin/misc.php | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/admin/index.php b/admin/index.php index 899d99925d..2bbd5d71ef 100644 --- a/admin/index.php +++ b/admin/index.php @@ -451,6 +451,11 @@ $miscdata .= ''; } +/// Hack to show the XMLDB editor + if (file_exists("$CFG->dirroot/$CFG->admin/xmldb")) { + $miscdata .= ''; + } $table->data[] = array(''.get_string('miscellaneous').'', $miscdata); diff --git a/admin/misc.php b/admin/misc.php index 6aa599ddc3..16afcc8487 100644 --- a/admin/misc.php +++ b/admin/misc.php @@ -37,6 +37,11 @@ $table->data[] = array(''.get_string('managedatabase')."", get_string('adminhelpmanagedatabase')); } +/// Hack to show the XMLDB editor + if (file_exists("$CFG->dirroot/$CFG->admin/xmldb")) { + $table->data[] = array(''.get_string('xmldbeditor')."", + get_string('adminhelpxmldbeditor')); + } print_table($table); -- 2.39.5