title: How to echo random line from text file?
body: <p>i need to echo random lines from a text file like so </p>
  
  <p>textfile.txt</p>
  
  <pre><code>line 1
  line 2
  line 3
  line 4
  line 5
  line 6
  </code></pre>
  
  <p>index.php </p>
  
  <pre><code>line 4
  </code></pre>
  
  <p>im not great at php so any help would be greatly appreciated </p>