diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-09-14 13:18:58 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-09-14 13:18:58 +0200 |
| commit | 8f416baead93a48e5799e44b8bd2e2c4859f4e04 (patch) | |
| tree | cd47ac55eb80a39e3225e8b4f3161b88ea16c2cf /maintenance/installExtension.php | |
| parent | d7d08bd1a17618c7d77a6b9b2989e9f7293d6ed6 (diff) | |
auf Version 1.11 aktualisiert; Login-Bug behoben
Diffstat (limited to 'maintenance/installExtension.php')
| -rw-r--r-- | maintenance/installExtension.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/installExtension.php b/maintenance/installExtension.php index 063002f5..549c4a68 100644 --- a/maintenance/installExtension.php +++ b/maintenance/installExtension.php @@ -652,4 +652,4 @@ if ( $ok ) $ok = $installer->patchLocalSettings( $mode ); if ( $ok ) $ok = $installer->printNotices(); if ( $ok ) $installer->note( "$name extension installed." ); -?> + |