Cannot change default theme in Localsettings - Githubissues

SemanticMediaWiki / Mermaid

Provides a parser function to generate diagrams and flowcharts with the help of the mermaid script language

https://www.mediawiki.org/wiki/Extension:Mermaid

Other

36 stars 23 forks source link

Cannot change default theme in Localsettings #32

Closed krabina closed 5 years ago

krabina commented 5 years ago

Setup and configuration

Mermaid version: 2.1.0
MediaWiki version: 1.31.1
PHP version: 7.1.26 (fpm-fcgi)
Database system (MySQL, PostgresQL, etc.) and version: MySQL | 5.5.62-cll

Issue

If I change https://github.com/SemanticMediaWiki/Mermaid/blob/24a25357e3ed9bf9425bc9e183455d7a75b47cb0/DefaultSettings.php#L18 to $GLOBALS['mermaidgDefaultTheme'] = 'neutral'; it works.

However, this should be done in LocalSettings.php, but I can't figure out how. None of these work:

$mermaidgDefaultTheme = 'neutral';
$wgmermaidgDefaultTheme = 'neutral';
$wgMermaidgDefaultTheme = 'neutral';
$GLOBALS['mermaidgDefaultTheme'] = 'neutral';