title: Extract a file from a zip archive then rename it
body: <p>I have this file that gets downloaded at:</p>
  
  <pre><code>DownloadFile($reportDownloadUrl, $DownloadPath);
  </code></pre>
  
  <p>But it's a zip file. Inside of it, a CSV file gets created with a random name i.e <code>random_name.csv</code></p>
  
  <p>How do I extract this folder <code>abc.zip</code> in php and rename this file with random name to <code>new_name.csv</code></p>
  
  <p>Problem is that I can't use </p>
  
  <pre><code>$zip-&gt;renameName('currentname.csv','newname.csv');
  </code></pre>
  
  <p>since I don't have <code>currentname</code>.</p>