bludit/lang.php
2017-09-04 00:12:36 +02:00

18 lines
395 B
PHP

<?php
$string = file_get_contents("bl-languages/en.json");
$english = json_decode($string, true);
$string = file_get_contents("bl-languages/de_DE.json");
$spanish = json_decode($string, true);
$tmp = array();
foreach($english as $key=>$value) {
if (isset($spanish[$key])) {
$tmp[$key] = $spanish[$key];
} else {
$tmp[$key] = $value;
}
}
echo json_encode($tmp, JSON_UNESCAPED_UNICODE);