/usr/share/mediawiki-extensions/base/InputBox/InputBox.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 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 | <?php
/**
* InputBox extension
*
* @file
* @ingroup Extensions
*
* This file contains the main include file for the Inputbox extension of
* MediaWiki.
*
* Usage: Add the following line in LocalSettings.php:
* require_once( "$IP/extensions/InputBox/InputBox.php" );
*
* @author Erik Moeller <moeller@scireview.de>
* namespaces search improvements partially by
* Leonardo Pimenta <leo.lns@gmail.com>
* Cleaned up by Trevor Parscal <tparscal@wikimedia.org>
* @copyright Public domain
* @license Public domain
* @version 0.1.4
*/
// Check environment
if ( !defined( 'MEDIAWIKI' ) ) {
echo( "This is an extension to the MediaWiki package and cannot be run standalone.\n" );
die( -1 );
}
/* Configuration */
// Credits
$wgExtensionCredits['parserhook'][] = array(
'path' => __FILE__,
'name' => 'InputBox',
'author' => array( 'Erik Moeller', 'Leonardo Pimenta', 'Rob Church', 'Trevor Parscal', 'DaSch' ),
'version' => '0.1.4',
'url' => 'https://www.mediawiki.org/wiki/Extension:InputBox',
'description' => 'Allow inclusion of predefined HTML forms.',
'descriptionmsg' => 'inputbox-desc',
);
// Shortcut to this extension directory
$dir = dirname( __FILE__ ) . '/';
// Internationalization
$wgExtensionMessagesFiles['InputBox'] = $dir . 'InputBox.i18n.php';
// Register auto load for the special page class
$wgAutoloadClasses['InputBoxHooks'] = $dir . 'InputBox.hooks.php';
$wgAutoloadClasses['InputBox'] = $dir . 'InputBox.classes.php';
// Register parser hook
$wgHooks['ParserFirstCallInit'][] = 'InputBoxHooks::register';
$wgHooks['MediaWikiPerformAction'][] = 'InputBoxHooks::onMediaWikiPerformAction';
|