diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2008-03-21 11:49:34 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2008-03-21 11:49:34 +0100 |
commit | 086ae52d12011746a75f5588e877347bc0457352 (patch) | |
tree | e73263c7a29d0f94fafb874562610e16eb292ba8 /install-utils.inc | |
parent | 749e7fb2bae7bbda855de3c9e319435b9f698ff7 (diff) |
Update auf MediaWiki 1.12.0
Diffstat (limited to 'install-utils.inc')
-rw-r--r-- | install-utils.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/install-utils.inc b/install-utils.inc index a9892578..5b632d20 100644 --- a/install-utils.inc +++ b/install-utils.inc @@ -135,6 +135,6 @@ function mw_get_session_save_path() { function mw_have_dl() { return function_exists( 'dl' ) && is_callable( 'dl' ) - && ini_get( 'enable_dl' ) - && !ini_get( 'safe_mode' ); + && wfIniGetBool( 'enable_dl' ) + && !wfIniGetBool( 'safe_mode' ); }
\ No newline at end of file |