2017-09-04 00:12:36 +02:00
|
|
|
<?php
|
|
|
|
|
|
|
|
$string = file_get_contents("bl-languages/en.json");
|
|
|
|
$english = json_decode($string, true);
|
|
|
|
|
2017-09-10 23:31:14 +02:00
|
|
|
$string = file_get_contents("bl-languages/zh_TW.json");
|
2017-09-04 00:12:36 +02:00
|
|
|
$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);
|