diff --git a/phpini/install_check.pl b/phpini/install_check.pl
new file mode 100644
index 000000000..f0f77f003
--- /dev/null
+++ b/phpini/install_check.pl
@@ -0,0 +1,19 @@
+# install_check.pl
+
+do 'phpini-lib.pl';
+
+# is_installed(mode)
+# For mode 1, returns 2 if the server is installed and configured for use by
+# Webmin, 1 if installed but not configured, or 0 otherwise.
+# For mode 0, returns 1 if installed, 0 if not
+sub is_installed
+{
+return -r $config{'php_ini'} ||
+       &has_command("php") ||
+       &has_command("php4") ||
+       &has_command("php5") ||
+       &has_command("php-cgi") ||
+       &has_command("php4-cgi") ||
+       &has_command("php5-cgi");
+}
+