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

	switch ( $_SERVER["SERVER_NAME"] ) {