wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-09-24 02:39:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

Follows up r49890, adding file location itself to obtaining the revision number shown in the Special:Version

Browse source
This commit is contained in:
Shinjiman 2009-04-27 03:53:32 +00:00
parent e8bd1c0ba1
commit 890e5711e5
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
InputBox.php
View file

@ -30,6 +30,7 @@ if ( !defined( 'MEDIAWIKI' ) ) {
// Credits
$wgExtensionCredits['parserhook'][] = array(
'path' => __FILE__,
'name' => 'InputBox',
'author' => array( 'Erik Moeller', 'Leonardo Pimenta', 'Rob Church', 'Trevor Parscal' ),
'url' => 'http://www.mediawiki.org/wiki/Extension:InputBox',