123456789101112 |
- <?php
- $data = file_get_contents("files/".$_POST["aTranslate/currentfilename"]);
- $json = json_decode($data,true);
- foreach($_POST as $key=>$value){
- if($key !== "aTranslate/currentfilename"){
- $json["keys"][$key] = $value;
- }
- }
- print_r($json);
- $data = json_encode($json);
- rename("files/".$_POST["aTranslate/currentfilename"],"files/".$_POST["aTranslate/currentfilename"].time());
- file_put_contents("files/".$_POST["aTranslate/currentfilename"],$data);
|