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'
];
|