Rev 1083 | Rev 1086 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1083 | Rev 1084 | ||
---|---|---|---|
Line 565... | Line 565... | ||
565 | $file2 = preg_replace('/\.([^.]+)$/', '$'.OIDplus::getCurrentLang().'.\1', $file); |
565 | $file2 = preg_replace('/\.([^.]+)$/', '$'.OIDplus::getCurrentLang().'.\1', $file); |
566 | if (file_exists($file2)) $file = $file2; |
566 | if (file_exists($file2)) $file = $file2; |
567 | 567 | ||
568 | if (substr($file,-4,4) == '.url') { |
568 | if (substr($file,-4,4) == '.url') { |
569 | /* |
569 | /* |
570 | [{000214A0-0000-0000-C000-000000000046}] |
- | |
571 | Prop3=19,2 |
- | |
572 | [InternetShortcut] |
570 | [InternetShortcut] |
573 | URL=http://www.example.com/ |
571 | URL=http://www.example.com/ |
574 | IDList= |
- | |
575 | */ |
572 | */ |
576 | 573 | ||
577 | $data = @parse_ini_file($file, true); |
574 | $data = @parse_ini_file($file, true); |
578 | if (!$data) { |
575 | if (!$data) { |
579 | throw new OIDplusException(_L('File %1 has an invalid INI format!',$file)); |
576 | throw new OIDplusException(_L('File %1 has an invalid INI format!',$file)); |