title: What does (int) $_GET['page'] mean in PHP?
body: <p>I tried looking up <code>(int)</code> but could only find documentation for the function <code>int()</code> in the PHP manual.</p>
  
  <p>Could someone explain to me what the above code does, and exactly how it works?</p>