diff options
| author | knut <> | 2006-02-22 21:49:37 +0000 |
|---|---|---|
| committer | knut <> | 2006-02-22 21:49:37 +0000 |
| commit | ac0770651d6879c93d321bd083fe0f11de79940e (patch) | |
| tree | 9eb93b60786e74bb609f637bf8f2314c8f5f5193 | |
| parent | a30da2e71ad2ed23cbcb6011ab848ab888b2dd46 (diff) | |
Recovered optimization "fix" that wasn't really a fix :)
| -rw-r--r-- | framework/I18N/core/CultureInfo.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/framework/I18N/core/CultureInfo.php b/framework/I18N/core/CultureInfo.php index 39b8495a..fe2c45e6 100644 --- a/framework/I18N/core/CultureInfo.php +++ b/framework/I18N/core/CultureInfo.php @@ -254,7 +254,7 @@ class CultureInfo if(is_file($filename) == false)
throw new Exception('Data file for "'.$file.'" was not found.');
- if(!isset($this->dataFiles[$filename]))
+ if(in_array($filename, $this->dataFiles) === false)
{
array_unshift($this->dataFiles, $file);
|