From 3a12ea903143cdf0596a66aefc33288fc0f847e6 Mon Sep 17 00:00:00 2001
From: =?utf8?q?=C3=86var=20Arnfj=C3=B6r=C3=B0=20Bjarmason?=
 <avar@users.mediawiki.org>
Date: Wed, 6 Apr 2005 17:55:18 +0000
Subject: [PATCH] * Documented

---
 index.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/index.php b/index.php
index 23480f0f94..aed92e81ca 100644
--- 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();
 
-- 
2.20.1