Deprecated function in PHP 8.1

[mgubala-edge1s]

In build_bootstrap.php there is line:

$header = sprintf(self::HEADER, strftime('%Y'));

where strftime is deprecated function starting from PHP 8.1.

Please replace it with:

$header = sprintf(self::HEADER, date('Y'));