How to show random texts from a .txt file on my webpage each time the visitor reloads? : <p>As example I have a list of texts on my .txt file.</p>

<pre><code>text1
text2
text3
</code></pre>

<p>And I want to show only one text of them randomly selected from the .txt file using php.</p>
