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