wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

* add svn:keywords 'LastChangedDate'

Browse source 
* replace text 'version' in ExtensionCredits with version based on 'LastChangedDate' for automatic version updating
This commit is contained in:
Siebrand Mazeland 2008-02-27 14:13:10 +00:00
parent 2a18acc36f
commit e3771b2198
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Gadgets.php
View file

@ -19,7 +19,7 @@ if( !defined( 'MEDIAWIKI' ) ) {
$wgExtensionCredits['other'][] = array(
'name' => 'Gadgets',
'version' => '2008-02-04',
'version' => preg_replace('/^.* (\d\d\d\d-\d\d-\d\d) .*$/', '\1', '$LastChangedDate$'), #just the date of the last change
'author' => 'Daniel Kinzler',
'url' => 'http://mediawiki.org/wiki/Extension:Gadgets',
'description' => 'lets users select custom javascript gadgets',