Update auf 1.13.0

1 files changed, 13 insertions, 12 deletions

diff --git a/maintenance/upgrade1_5.php b/maintenance/upgrade1_5.php
index 1c939a9b..dd4acaae 100644
--- a/maintenance/upgrade1_5.php
+++ b/maintenance/upgrade1_5.php
@@ -1,16 +1,17 @@
 <?php
-
-// Alternate 1.4 -> 1.5 schema upgrade
-// This does only the main tables + UTF-8
-// and is designed to allow upgrades to interleave
-// with other updates on the replication stream so
-// that large wikis can be upgraded without disrupting
-// other services.
-//
-// Note: this script DOES NOT apply every update, nor
-// will it probably handle much older versions, etc.
-// Run this, FOLLOWED BY update.php, for upgrading
-// from 1.4.5 release to 1.5.
+/**
+ * Alternate 1.4 -> 1.5 schema upgrade.
+ * This does only the main tables + UTF-8 and is designed to allow upgrades to
+ * interleave with other updates on the replication stream so that large wikis
+ * can be upgraded without disrupting other services.
+ *
+ * Note: this script DOES NOT apply every update, nor will it probably handle
+ * much older versions, etc.
+ * Run this, FOLLOWED BY update.php, for upgrading from 1.4.5 release to 1.5.
+ *
+ * @file
+ * @ingroup Maintenance
+ */
 
 $options = array( 'step', 'noimages' );