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