diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-01-09 08:56:46 +0000 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-01-09 08:56:46 +0000 |
| commit | 20194986f6638233732ba1fc3e838f117d3cc9ea (patch) | |
| tree | 353069cf5ac40f4888eb24e146bda2e6243e8c75 /maintenance/update.php | |
| parent | 56136136149363e23034a5e56df3bf69cefe7631 (diff) | |
Aktualisierung auf MediaWiki 1.8.3
Diffstat (limited to 'maintenance/update.php')
| -rw-r--r-- | maintenance/update.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/maintenance/update.php b/maintenance/update.php index d2dcbf92..402818ce 100644 --- a/maintenance/update.php +++ b/maintenance/update.php @@ -18,6 +18,8 @@ $dbclass = 'Database' . ucfirst( $wgDBtype ) ; echo( "MediaWiki {$wgVersion} Updater\n\n" ); +install_version_checks(); + # Do a pre-emptive check to ensure we've got credentials supplied # We can't, at this stage, check them, but we can detect their absence, # which seems to cause most of the problems people whinge about |