I tried looking up (int) but could only find documentation for the function int() in the PHP manual.
(int)
int()
Could someone explain to me what the above
What you are looking at there is known as type casting - for more information, see the manual page on type juggling.
The above piece of code casts (or converts) $_GET['page'] to an integer.
$_GET['page']