|Operating system:||Debian Etch|
Docs is the virtual machine running the documentation web server (which includes this wiki) for COSI.
Changes to MediaWiki
The MediaWiki installation on Docs has been changed quite a bit from the default.
$wgLocaltimezone = "America/New_York"; $oldtz = getenv("TZ"); putenv("TZ=$wgLocaltimezone"); # Subtract 6 minutes due to hwclock being off... This makes it correct to within a minute. $wgLocalTZoffset = (date("Z") / 60) - 6; putenv("TZ=$oldtz");
# Force people to check their edit summaries $wgDefaultUserOptions['forceeditsummary'] = 1; # Registration disabled for all users EXCEPT sysops $wgGroupPermissions['*']['createaccount'] = false; # Must be logged in to edit $wgGroupPermissions['*']['edit'] = false;
Various templates have been added to better the user experience.