What does (int) $_GET['page'] mean in PHP?

Question

I tried looking up (int) but could only find documentation for the function int() in the PHP manual.

Could someone explain to me what the above

Answer 1

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.