extract djvu text (bug 18046); escape possible script with htmlspecialchars instead...

[lhc/web/wiklou.git] / install-utils.inc

diff --git a/install-utils.inc b/install-utils.inc
index 9723e8d..ab8e15d 100644 (file)
--- a/install-utils.inc
+++ b/install-utils.inc
@@ -1,5 +1,12 @@
 <?php
 
+/**
+ * This file contains functions used by the install script (config/index.php)
+ * and maintenance scripts. It is not loaded in normal web requests.
+ *
+ * @file
+ */
+
 function install_version_checks() {
        # We dare not turn output buffer _off_ since this will break completely
        # if PHP is globally configured to run through a gzip filter.
@@ -112,7 +119,7 @@ function dbsource( $fname, $db = false ) {
 /**
  * Get the value of session.save_path
  *
- * Per http://uk.php.net/manual/en/ref.session.php#ini.session.save-path,
+ * Per http://www.php.net/manual/en/ref.session.php#ini.session.save-path,
  * this might have some additional preceding parts which need to be
  * ditched
  *
@@ -124,4 +131,17 @@ function mw_get_session_save_path() {
        return $path;
 }
 
-?>
+/**
+ * Is dl() available to us?
+ *
+ * According to http://www.php.net/manual/en/function.dl.php, dl()
+ * is *not* available when `enable_dl` is off, or under `safe_mode`
+ *
+ * @return bool
+ */
+function mw_have_dl() {
+       return function_exists( 'dl' )
+               && is_callable( 'dl' )
+               && wfIniGetBool( 'enable_dl' )
+               && !wfIniGetBool( 'safe_mode' );
+}
\ No newline at end of file