PHP：从txt文件中获取单个值

Question

我有这个文本文件：

STATIONS_ID;MESS_DATUM;  QN;PP_10;TT_10;TM5_10;RF_10;TD_10;eor
   5371;201912250000;    2;  903.5;   2.3;   2.2; 100.0;   2.3;eor
   [...]
   5371;201912251820;    2;  913.3;   0.4;   0.3; 100.0;   0.4;eor

我只想得到时间戳为 25-12-2019 18:20 (201912251820) 的最后一行。

这就是我的 php 代码（最后我想将数据保存在我的 MySQL 数据库中）：

$row = 1;
if(($handle = fopen("produkt_zehn_now_tu_20191225_20191226_05371.txt", "r")) !== FALSE) 
{
    while(($data = fgetcsv($handle, 1000, ",")) !== FALSE) 
    {
        echo "<p> 1 fields in line $row: <br /></p>\n";
        $row++;

        for($c=0; $c < 1; $c++) 
        {
            echo $data[$c] . "<br />\n";

            $daten = $data[$c];
            $carray = explode(";", $daten);
            list($station,$zeit,$quali,$luftdruck,$temp2m,$temp5cm,$feuchte,$taupunkt) = $carray;

            echo "<b>temp2m:".$temp2m."</b>";

            /*
            $res_wetterdaten_dwd = $sql_datenbank -> query("INSERT INTO wetterdaten_dwd 
            (daten_zeit, daten_luftdruck, daten_temp2m, daten_temp5cm, daten_feuchte, daten_taupunkt, daten_station)
            VALUES ('".$zeit."', ".$luftdruck.", ".$temp2m.", ".$temp5cm.", ".$feuchte.", ".$taupunkt.", ".$station.")");
            */
        }
    }
    fclose($handle);
}

Answer 1

    <?php
function getDateFromFile($file = 'text.txt')
{
    $f = fopen($file, 'r');

    $cursor = -1;
    $line = '';
    fseek($f, $cursor, SEEK_END);
    $char = fgetc($f);

    /**
     * Trim trailing newline chars of the file
     */
    while ($char === "\n" || $char === "\r") {
        fseek($f, $cursor--, SEEK_END);
        $char = fgetc($f);
    }

    /**
     * Read until the start of file or first newline char
     */
    while ($char !== false && $char !== "\n" && $char !== "\r") {
        /**
         * Prepend the new char
         */
        $line = $char . $line;
        fseek($f, $cursor--, SEEK_END);
        $char = fgetc($f);
    }

    $value = explode(";", $line);

    $year = substr($value[1], 0, 4);
    $month = substr($value[1], 4, 2);
    $day = substr($value[1], 6, 2);
    $hour = substr($value[1], 8, 2);
    $min = substr($value[1], 10, 2);

    $date = new DateTime("$year-$month-$day $hour:$min");`
    return $date;
}

print_r(getDateFromFile("produkt_zehn_now_tu_20191225_20191226_05371.txt"));