<?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.
die( -1 );
}
if( version_compare( phpversion(), '5.0.0' ) < 0 ) {
- echo "PHP 5.0.0 or higher is required. ABORTING.\n";
+ echo "PHP 5.0.0 or higher is required. If PHP 5 is available only when \n".
+ "PHP files have a .php5 extension, please navigate to <a href=\"index.php5\">index.php5</a> \n".
+ "to continue installation. ABORTING.\n";
die( -1 );
}
# Read and execute SQL commands from a file
#
function dbsource( $fname, $db = false ) {
+ wfDeprecated( __METHOD__ );
if ( !$db ) {
// Try $wgDatabase, which is used in the install and update scripts
global $wgDatabase;
exit(1);
}
}
-?>
+
+/**
+ * Get the value of 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
+ *
+ * @return string
+ */
+function mw_get_session_save_path() {
+ $path = ini_get( 'session.save_path' );
+ $path = substr( $path, strrpos( $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