* Documented

diff --git a/index.php b/index.php
index 23480f0..aed92e8 100644 (file)
--- a/index.php
+++ b/index.php
@@ -1,5 +1,8 @@
 <?php
-# Main wiki script; see design.doc
+/**
+ * Main wiki script; see docs/design.doc
+ * @package MediaWiki
+ */
 
 $wgRequestTime = microtime();