Fix popus and update skin

wiki
Pyjacpp 2026-08-01 21:30:06 +02:00
parent ab38d46125
commit 5d9c7552c8
No known key found for this signature in database
GPG Key ID: ED479A5A26930939
1 changed files with 3 additions and 3 deletions

View File

@ -178,7 +178,7 @@ in
$wgNamespacesWithSubpages[NS_MAIN] = true; $wgNamespacesWithSubpages[NS_MAIN] = true;
$wgNamespacesWithSubpages[NS_ARCHIVE] = true; $wgNamespacesWithSubpages[NS_ARCHIVE] = true;
$wgVisualEditorAvailableNamespaces[NS_ARCHIVE] = true; $wgVisualEditorAvailableNamespaces[NS_ARCHIVE] = true;
$wgContentNamespaces[NS_ARCHIVE] = true; # Pour les Popups $wgContentNamespaces[] = NS_ARCHIVE; # Pour les Popups
$wgNamespacesToBeSearchedDefault[NS_ARCHIVE] = true; # Temporairement pour la migration $wgNamespacesToBeSearchedDefault[NS_ARCHIVE] = true; # Temporairement pour la migration
$wgNamespacesToBeSearchedDefault[NS_USER] = true; $wgNamespacesToBeSearchedDefault[NS_USER] = true;
''; '';
@ -188,8 +188,8 @@ in
name = "Citizen"; name = "Citizen";
owner = "StarCitizenTools"; owner = "StarCitizenTools";
repo = "mediawiki-skins-Citizen"; repo = "mediawiki-skins-Citizen";
tag = "v3.17.0"; tag = "v3.19.0";
sha256 = "sha256-IPwfI2ldzis3Zni5QSsrSfi0Qt6+xjOupPJk+j7P6aM="; sha256 = "sha256-iQS0lyvOYH45gI6fMKYV4ERK9JO35J8ktLNrQi6UsH0=";
}; };
}; };