1 files changed, 20 insertions, 0 deletions
diff --git a/www/wiki/extensions/Mermaid/DefaultSettings.php b/www/wiki/extensions/Mermaid/DefaultSettings.php
new file mode 100644
index 00000000..9349bf4b
--- /dev/null
+++ b/www/wiki/extensions/Mermaid/DefaultSettings.php
@@ -0,0 +1,20 @@
+<?php
+
+/**
+ * DO NOT EDIT!
+ *
+ * The following default settings are to be used by the extension itself,
+ * please modify settings in the LocalSettings file.
+ *
+ * @codeCoverageIgnore
+ */
+if ( !defined( 'MEDIAWIKI' ) ) {
+	die( 'This file is part of the Mermaid extension, it is not a valid entry point.' );
+}
+
+/**
+ * Default theme
+ */
+return [
+	'mermaidgDefaultTheme' => 'forest'
+];