PHP get_headers: שיקן אַן HTTP HEAD בקשה דורך אַ פּראָקסי

אין PHP, get_headers() נעמט אָן אַ stream context ווי זיין דריט אַרגומענט. אויף PHP 8 קען אַ קאָפּ־בדיקה פֿאַר אַ HTTP URL טראָגן איר אייגענע פּראָקסי־קאָנפֿיגוראַציע:

$context = stream_context_create([
    'http' => [
        'proxy' => 'tcp://proxy.example.net:8080',
        'request_fulluri' => true,
        'method' => 'HEAD',
        'follow_location' => 0,
        'timeout' => 10,
    ],
]);

$headers = get_headers('http://example.net/file.zip', false, $context);
if ($headers === false) {
    throw new RuntimeException('Header request failed');
}

דער פּראָקסי איז אַ TCP ענדפּונקט פֿאַר דעם HTTP stream wrapper. פֿאַרבייַטט זיין פּלאַסהאַלטער האָסט און פּאָרט מיט אַ ניט־אויטענטיפֿיצירטן קאַנדידאַט פֿון דער HTTP פּראָקסי ליסטע פֿאַר דעם פּובליקן HTTP בדיקה. request_fulluri פֿאַרזאָרגט דעם פֿולן ציל URI אין דער HTTP בקשה־שורה, ווי פֿיל ווײַטערפֿירנדיקע פּראָקסיס דערוואַרטן. דער context געהערט צו דעם רוף; ער ענדערט ניט דעם פֿאַרבאַשטימטן context וואָס אַנדערע URL לייענען נוצן.

טראָץ דעם נאָמען פֿון דער פֿונקציע איז איר פֿאַרבאַשטימטע בקשה־מעטאָד GET. די עקספּליציטע HEAD מעטאָד בעט דעם סערווער פֿאַר ענטפֿער־מעטאַדאַטן אָן דעם פּאַסיקן ענטפֿער־קערפּער. אַ סערווער קען אָפּוואַרפֿן HEAD אָדער באַהאַנדלען עס אַנדערש, אַזוי אַ געראָטענע קאָפּ־בדיקה איז ניט קיין באַווײַז אַז אַ שפּעטערדיקער אַראָפּלאָדן וועט געראָטן.

דאָ איז נאָכגיין רידערעקטן אָפּגעשאַלטעט כּדי אונטערזוכן דעם ערשטן ענטפֿער. דעמאָלט זײַנען אַ Location קאָפּ און אַ רידערעקט־סטאַטוס נוצלעכע רעזולטאַטן אַנשטאָט אַן אָנווײַזונג אָפּצוהאָלן אַן אַנדער URL. אויב די בדיקה דאַרף נאָכגיין רידערעקטן, ענדערט יענע פּאָליטיק מיט כוונה און רעכנט אַרײַן די צוגעגעבענע ענטפֿער־קעפּ.

דער אַרגומענט false האַלט אַן אינדעקסירטע קאָפּ־מענגע. ניצט true ווען אַסאָציאַטיװע פּאַרסונג איז נוצלעכער.