PHP get_headers: fi ìbéèrè HTTP HEAD ránṣẹ́ nípasẹ̀ proxy

Nínú PHP, get_headers() gba stream context gẹ́gẹ́ bí àríyanjú kẹta rẹ̀. Lórí PHP 8, àyẹ̀wò àkọsílẹ̀ fún URL HTTP lè gbé ìṣètò proxy tirẹ̀:

$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');
}

Proxy jẹ́ ibi ìparí TCP fún ìdìpọ̀ ìṣàn HTTP. Rọ́pò olùgbàlejò àti ibùdókọ̀ àfibọ̀ rẹ̀ pẹ̀lú olùdíje tí kò ní ìfidájú láti àkójọ proxy HTTP fún àyẹ̀wò HTTP gbogbogbo yìí. request_fulluri ń pèsè URI ìdí gbogbo nínú ìlà ìbéèrè HTTP, gẹ́gẹ́ bí ọ̀pọ̀ proxy tí ń tẹ̀síwájú ṣe retí. Context yìí jẹ́ ti ìpè yìí; kò yí context àìlàyé tí àwọn kíkà URL mìíràn ń lò padà.

Láìka orúkọ iṣẹ́ náà, ọ̀nà ìbéèrè àìlàyé rẹ̀ ni GET. Ọ̀nà HEAD tí ó ṣe kedere béèrè lọ́wọ́ ẹ̀rọ ìsìn fún metadata ìdáhùn láìsí ara ìdáhùn tí ó bá mu. Ẹ̀rọ ìsìn lè kọ HEAD tàbí kí ó bójú rẹ̀ lọ́nà mìíràn, nítorí náà àyẹ̀wò àkọsílẹ̀ tí ó ṣàṣeyọrí kì í ṣe ẹ̀rí pé gbígbàlọ́sílẹ̀ tí yóò tẹ̀lé yóò ṣàṣeyọrí.

Níbí, títẹ̀lé àwọn ìtọ́nisọ́nà ti wa ní pipa láti ṣàyẹ̀wò ìdáhùn àkọ́kọ́. Nígbà náà àkọsílẹ̀ Location àti ipò ìtọ́nisọ́nà jẹ́ àwọn àbájáde wíwúlò dípò ìtọ́ni láti mú URL mìíràn wá. Tí àyẹ̀wò bá yẹ kí ó tẹ̀lé àwọn ìtọ́nisọ́nà, yí ìlànà yẹn padà pẹ̀lú ìmọ̀ kí o sì ka àwọn àkọsílẹ̀ ìdáhùn àfikún.

Àríyanjú false ń pa àkójọ àkọsílẹ̀ tí ó ní atọ́ka mọ́. Lo true nígbà tí ìtúpalẹ̀ ìsopọ̀ bá wúlò jù.