MediaWiki/LocalSettings
Jump to navigation
Jump to search
Contents |
| Deze pagina maakt deel uit van de serie MediaWiki. |
| 30px | Deze pagina in een notendop: Een introductie in het gebruik van dit configratiebestand van elke op MediaWiki gebaseerde wiki en een verwijzing naar een aantal vertaaldeparameters vanuit Main_page. |
| Note: this page needs to be updated! Beheer (talk) 15:58, 23 January 2023 (UTC) |
Op de site van MediaWiki[1] staat een artikel dat dieper op de inhoud van dit bestand ingaat: Manual:LocalSettings.php. Een aantal voor mij belangrijke zaken hieruit:
(Groep) permissies
O.a.: $wgNamespaceProtection, $wgNamespaceProtection, wgRevokePermissions
- $wgGroupPermissions
- $wgNamespaceProtection
- $wgRevokePermissions
Tabel
| $wgGroupPermissions |
| $wgNamespaceProtection |
| $wgRevokePermissions |
