Skip to content

Commit

Permalink
Reenable MaRDI skin
Browse files Browse the repository at this point in the history
  • Loading branch information
physikerwelt authored Apr 29, 2024
1 parent 658086c commit 7d77eb0
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions mediawiki/LocalSettings.d/Skin.php
Original file line number Diff line number Diff line change
Expand Up @@ -33,8 +33,8 @@
return true;
};
# https://github.com/ProfessionalWiki/MardiSkin
# wfLoadExtension( 'Bootstrap' );
# wfLoadskin( 'chameleon' );
wfLoadExtension( 'Bootstrap' );
wfLoadskin( 'chameleon' );
$egChameleonLayoutFile= '/var/www/html/skins/MardiSkin/layout.xml';
$egChameleonExternalStyleModules = [
'/var/www/html/skins/MardiSkin/variables.scss' => 'beforeVariables',
Expand Down

0 comments on commit 7d77eb0

Please sign in to comment.