From dfd783d010b714a0af3151bacaa6e09b218cca47 Mon Sep 17 00:00:00 2001
From: Erik Moeller <erik@users.mediawiki.org>
Date: Tue, 1 Jul 2003 04:40:56 +0000
Subject: [PATCH] Check if mysql support is available and if not, try to
 dynamically load it (necessary under many installations where the PHP
 interpreter is not compiled --with-mysql)

---
 install.php | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/install.php b/install.php
index 333c433e30..164c93c6fd 100644
--- a/install.php
+++ b/install.php
@@ -1,5 +1,12 @@
 <?
 
+if (!extension_loaded('mysql')) {
+    if (!dl('mysql.so')) {
+        print "Could not load MySQL driver! Please compile ".
+              "php --with-mysql or install the mysql.so module.\n";
+	exit;
+    }
+}
 # Install software and create new empty database.
 #
 
-- 
2.20.1