-<?
-# This file should be copied to AdminSettings.php, and modified
-# to reflect local settings. Unlike LocalSettings.php, it is
-# not copied to the installation directory for security reasons;
-# it is used by the maintenance scripts only. Do not check
-# AdminSettings.php into CVS!
+<?php
+/**
+ * This file should be copied to AdminSettings.php, and modified
+ * to reflect local settings. It is required for the maintenance
+ * scripts which run on the command line, as an extra security
+ * measure to allow using a separate user account with higher
+ * privileges to do maintenance work.
+ *
+ * Developers: Do not check AdminSettings.php into CVS!
+ *
+ * @package MediaWiki
+ */