From 69f2f73fb06e4d9bce82125acb98f8df432eb2f2 Mon Sep 17 00:00:00 2001
From: Antoine Musso <hashar@users.mediawiki.org>
Date: Fri, 3 Sep 2004 17:22:43 +0000
Subject: [PATCH] comment that it's deprecated

---
 install.php | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/install.php b/install.php
index c1b3a8c2dd..06cc111bb1 100644
--- a/install.php
+++ b/install.php
@@ -1,5 +1,12 @@
 <?php
-
+/**
+ * The old installation engine.
+ * Replaced by ./config/index.php which provide an online installer instead of
+ * command line.
+ * It will die with versions >= 1.3.x 
+ * @deprecated
+ */
+ 
 die("obsolete; remove this file befor 1.3.0 release\n");
 
 # Install software and create new empty database.
-- 
2.20.1