diff options
author | River Tarnell <kateturner@users.mediawiki.org> | 2004-10-18 00:12:44 +0000 |
---|---|---|
committer | River Tarnell <kateturner@users.mediawiki.org> | 2004-10-18 00:12:44 +0000 |
commit | 941a66dc1383997019ae80af87dea57dc4bd9c49 (patch) | |
tree | c1be1a96da97bf1b1fb9d880c3efeeec41083526 | |
parent | 98a09fc2c865128dc1173521fe0ffcc2cbe26a8f (diff) |
1.3.71.3.7
Notes
http://mediawiki.org/wiki/Special:Code/MediaWiki/5956
-rw-r--r-- | includes/DefaultSettings.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 2971164c0a12..d1af3daca88f 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -9,7 +9,7 @@ if( defined( "MEDIAWIKI" ) ) { # like $wgScriptPath, you must also localize everything that # depends on it. -$wgVersion = '1.3.6'; +$wgVersion = '1.3.7'; $wgSitename = 'MediaWiki'; # Please customize! $wgMetaNamespace = FALSE; # will be same as you set $wgSitename @@ -473,4 +473,4 @@ $wgAllowPageInfo = false; $wgExtraNamespaces = NULL; } -?>
\ No newline at end of file +?> |