In Redis, I have keys in the following format :
25-1521624987
25-1521624000
25-1521624900
30-1521624900
30-1521624000
35-1521624100
I have written the following code to extract the Redis records with keys that begin with number 25.
$tokens = $rdb->keys("^25-*");
print_r($tokens);
But the result I get with the above code is an empty array.
Although the regex works in Redis Desktop Manager.
What is the correct way to get the required result in PHP redis?