Andreas Gohr da9591f0b6 added closedwiki option ... This hides most of the wiki tools including the sidebar and search until the user has logged in.		2023-07-10 13:57:09 +02:00
..
default.php	added closedwiki option	2023-07-10 13:57:09 +02:00
metadata.php	added closedwiki option	2023-07-10 13:57:09 +02:00