<?php

if ( !defined( 'MEDIAWIKI' ) ) die();