<?php

$wgDBname = 'ensterling';