<?php
if ( ! defined( 'MEDIAWIKI' ) )
- die();
+ die( -1 );
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or