| Index: trunk/extensions/uniwiki/UniwikiSettings.php |
| — | — | @@ -1,5 +1,10 @@ |
| 2 | 2 | <?php |
| 3 | 3 | |
| | 4 | +if ( !defined( 'MEDIAWIKI' ) ) { |
| | 5 | + echo "This is not a valid entry point.\n"; |
| | 6 | + exit( 1 ); |
| | 7 | +} |
| | 8 | + |
| 4 | 9 | # default settings for UNIWIKI extension package |
| 5 | 10 | $wgLogo = "$wgScriptPath/extensions/uniwiki/uniwiki.png"; |
| 6 | 11 | $uw = "$IP/extensions/uniwiki"; |