如何编辑文本文件中的数据？

我有一个股票代码，它有两个按钮，每次点击相应的按钮时会将值降低一。我也希望这与位于文本文件中的数字的值相等。例如，计数器和文件的值都是零。我按下“+1”按钮，现在计数器和文件中的数字都等于1.我该怎么做？到目前为止，这是我所能做到的，因为php都是一次执行的。如何编辑文本文件中的数据？

<!DOCTYPE html> 
    <html> 
    <head> 
    <title>Ticker</title> 
    <link rel="stylesheet" type="text/css" href="../resources/css/ticker.css" /> 
    <script src="../resources/js/ticker.js"></script> 
    </head> 
    <body> 
    <div class="box">  
     <label for="qty"><abbr title="Quantity">Qty</abbr></label> 
     <input id="qty" value="<?php echo file_get_contents('Data.txt'); ?>" /> 
     <button id="down" onclick="modify_qty(-1)">-1</button> 
     <button id="up" onclick="modify_qty(1)">+1</button> 
    </div> 
    </body> 
    </html>

来源

2013-11-09 user2957574

你需要提交更改该文件在您的PHP脚本。一个异步请求会是最好的，但你可以同步执行它，它只是一个总值，而不是一个递增的值。实质上，文件中的值没有被修改，因为它实际上并没有被修改。 –

它是一个javascript函数，它修改显示的数字，但不会修改存储在文本文件中的数字 – user2957574