53
53
if ((!$file->isDot()) && preg_match("/.gif$/",$file->getFilename()))
55
55
echo '<option style="padding-left: 30px; background-image: url(./languages/' . $file .'); background-position:5px 100%; background-repeat: no-repeat;"';
58
58
# filename conversion to shorthand
59
59
if($file == 'german' ) { $language_shorthand = 'de_DE'; }