LocalSettings.php.erb
No OneTemporary
Actions

Size

334 B

Subscribers

None

LocalSettings.php.erb
View Options

	<?php
	# This file is managed by puppet. Local modifications will be overwritten.

	switch ( $_SERVER["SERVER_NAME"] ) {
	case "intranet.softwareheritage.org":
	require_once "LocalSettings_intranet.softwareheritage.org.php";
	break;

	default:
	echo "This wiki is not available. Check server configuration.";
	exit( 0 );
	}

File Metadata

Mime Type: text/x-php
Expires: Fri, Jul 4, 1:44 PM (3 d, 20 h ago)
Storage Engine: blob
Storage Format: Raw Data
Storage Handle: 3447402

Event Timeline