diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 09:20:55 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 09:20:55 +0100 |
| commit | a22fbfc60f36f5f7ee10d5ae6fe347340c2ee67c (patch) | |
| tree | 31882fdc36540fecfd62e5011fc38515e504a3db /maintenance/upgrade1_5.php | |
| parent | 6ca0c5e0a943b64b4e3d0a11a80c5679f7252e64 (diff) | |
Update to MediaWiki 1.17.1
Diffstat (limited to 'maintenance/upgrade1_5.php')
| -rw-r--r-- | maintenance/upgrade1_5.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/upgrade1_5.php b/maintenance/upgrade1_5.php index c5e1a33d..e919c62e 100644 --- a/maintenance/upgrade1_5.php +++ b/maintenance/upgrade1_5.php @@ -1307,4 +1307,4 @@ END } $maintClass = 'FiveUpgrade'; -require( RUN_MAINTENANCE_IF_MAIN ); +require_once( RUN_MAINTENANCE_IF_MAIN ); |