public function hash_equals($a, $b)
{
if (\function_exists('hash_equals')) {
return \hash_equals($a, $b);
}
if (\strlen($a) !== \strlen($b)) {
return false;
}
$res = 0;
$len = \strlen($a);
for ($i = 0; $i < $len; ++$i) {
$res |= \ord($a[$i]) ^ \ord($b[$i]);
}
return $res === 0;
}