<?php

// Default settings.php contents
