summaryrefslogtreecommitdiff
path: root/www/wiki/extensions/Mermaid/DefaultSettings.php
blob: 9349bf4b738e177d66068e046a06307bf10d9b20 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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'
];