diff --git a/admin/index.php b/admin/index.php
index 899d99925d8..2bbd5d71efc 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 6aa599ddc33..16afcc8487b 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);