private function readDictionaryPHP($filename) { $phpFile = $filename . '.php'; assert('file_exists($phpFile)'); $lang = null; include $phpFile; if (isset($lang)) { return $lang; } return array(); }