diff options
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." ); -?> + |