PHPを使用してheader("refresh:...")に1秒未満の遅延を使用することは可能ですか?

Question

PHP で header("refresh: 0;"); を使用すると、ページをすぐに更新できることはわかっています。

以下に示すように、独自の遅延 (3 秒) を設定することもできます。

header("refresh: 3;");

私の質問は、遅延を 1 秒未満、または 10 分の 1 秒未満に設定することは可能でしょうか?

header("更新: 0.1;");

Answer 1

header("refresh: 0.9;"); はすぐに更新され、header("refresh: 1.9;"); は 1 秒後に更新されます。小数点は無視されます。

Answer 2

試してみたらうまくいきました

例: header("リフレッシュ: 0.25;"); header("リフレッシュ: 0.1;"); header("リフレッシュ: 0.75;") " ); header("refresh: 0.5;"); すべてが機能しているようです。