hutt

function selectLangfile(){
	$dir = opendir("sources"); 
	while ($element = readdir($dir)) { 
	    if (($element != '.') && ($element != '..')) { 
	        if ((is_file('sources/'.$element)) && (substr('sources/'.$element, -3) == 'xml')) { 
	            $langfile[] = $element;
	        } 
	    } 
	}
	closedir($dir); 

hutt

<?php
if(!isset($_COOKIE['lang'])){
$lang = substr($_SERVER["HTTP_ACCEPT_LANGUAGE"], 0, 2); 
switch($lang) { 
case 'de': 
$redirect = '/de';break;
case 'en': 
$redirect = '/en';break; 
default: 
$redirect = '/en'; } 

hutt

<?xml version='1.0'?>
<lang>
	<exp>
		<key>upload_file</key>
		<tr>Datei hochladen</tr>
	</exp>
	<exp>
		<key>create_file</key>
		<tr>Datei anlegen</tr>
	</exp>

hutt

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

- -----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

# Neuer GnuPG Key
Ich, Jannis Hutt, habe meinen GPG Key gewechselt.
Der alte Key 0xDE982BAE0C8061C8, welcher als Hauptidentität die E-Mail Adresse privat@jannishutt.de nutzte, wird von un an nicht mehr benutzt.
Stattdessen benutze ich von nun an den Key 0x9BAD2EA15BCF1DFF.

hutt

khwz()
Prgm
:"init"
Lbl init
:"Zum IO Fenster wechseln"
Disp ""
:"Alles loeschen"
ClrIO
ClrErr
ClrGraph