commit 664c53ce62675669833b5e7718342d682cf9c74b
parent 2da4a5aca9e6638d686b12b9b1160b6243c9c815
Author: Jan Dankert <devnull@localhost>
Date: Fri, 18 Nov 2011 23:52:56 +0100
Auch Dateien mit Endung .ini einlesen.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/util/Preferences.class.php b/util/Preferences.class.php
@@ -44,7 +44,7 @@ class Preferences
{
$filename = $dir.$datei;
- if ( is_file($filename) && eregi('\.(ini.*|conf)$',$datei) )
+ if ( is_file($filename) && eregi('\.(ini.*|ini|conf)$',$datei) )
{
$nameBestandteile = explode('.',$datei);
$values[$nameBestandteile[0]] = parse_ini_file( $filename,true );