/etc/mediawiki-extensions/extensions.php is in mediawiki-extensions-base 3.5~deb7u2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | <?php
// Include base functions
include( '/usr/share/mediawiki-extensions/base/ExtensionFunctions.php' ) ;
$mw_debian_extensions_dir = "/etc/mediawiki-extensions/extensions-enabled";
// Including all enabled extensions.
if ( is_dir( $mw_debian_extensions_dir )
&&
$dh = opendir( $mw_debian_extensions_dir ) ) {
while ( ( $file = readdir( $dh ) ) !== false ) {
$absolute_file = $mw_debian_extensions_dir . DIRECTORY_SEPARATOR . $file ;
if ( preg_match( "/.php$/",$file ) && file_exists( $absolute_file ) &&
is_readable( $absolute_file ) ) {
include_once( $absolute_file );
}
}
closedir( $dh );
}
?>
|