How to create an `All` option in drop down menu
<p>The drop down menu below displays options where the value of each option is the <code>StudentId</code> from th database:</p>

<pre><code>&lt;select name="student" id="studentsDrop"&gt;
&lt;?php
while ( $currentstudentstmt-&gt;fetch() ) {
$stu = $dbStudentId;
if(isset($_POST["student"]) &amp;&amp; $stu == $_POST["student"]) 
    echo "&lt;option selected='selected' value='$stu'&gt;" . $dbStudentAlias . " - " . $dbStudentForename . " " . $dbStudentSurname . "&lt;/option&gt;" . PHP_EOL;
else
    echo "&lt;option value='$stu'&gt;" . $dbStudentAlias . " - " . $dbStudentForename . " " . $dbStudentSurname . "&lt;/option&gt;" . PHP_EOL;
}
?&gt;
&lt;/select&gt;
</code></pre>

<p>But what my question is how do I display an <code>All</code> option where if the user selects this, then the value for this option will be for all student ids.</p>

<p>The code which generates the students values are here:</p>
