Merge pull request #379 from MaRDI4NFDI/revert_vector

Revert vector version
MaRDI4NFDI · Jun 28, 2023 · be96781 · be96781
2 parents a748d30 + 29fe5f7
commit be96781
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mediawiki/LocalSettings.d/LocalSettings.override.php b/mediawiki/LocalSettings.d/LocalSettings.override.php
@@ -168,4 +168,4 @@
     ],
 ];
 
-$wgDefaultSkin = 'vector-2022';
+$wgDefaultSkin = 'vector';