Add guard to Resources.php
authorcsteipp <csteipp@wikimedia.org>
Thu, 17 Jan 2013 18:58:13 +0000 (10:58 -0800)
committercsteipp <csteipp@wikimedia.org>
Fri, 18 Jan 2013 02:28:43 +0000 (18:28 -0800)
Prevent direct calling of this file, just as we do in many other
places. Resources.php threw a fatal when called directly.

Change-Id: I10f5c013e81beaeb48d48e3eeaf1041d7236e9e9

resources/Resources.php

index 8a760ac..54b5fc1 100644 (file)
  * @file
  */
 
+if( !defined( 'MEDIAWIKI' ) ) {
+       die( 'Not an entry point.' );
+}
+
 return array(
 
        /* Special modules who have their own classes */