Difference between revisions of "MediaWiki/LocalSettings"
Jump to navigation
Jump to search
| Line 10: | Line 10: | ||
=== (Groep) permissies === | === (Groep) permissies === | ||
O.a.: | O.a.: | ||
| − | {{sl|$wgNamespaceProtection}} | + | {{sl|$wgNamespaceProtection}} - |
| − | {{sl|$wgNamespaceProtection}} | + | {{sl|$wgNamespaceProtection}} - |
{{sl|wgRevokePermissions}} | {{sl|wgRevokePermissions}} | ||
Revision as of 16:30, 1 September 2024
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 |
