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

In PHP, (int) will cast the value following it to an int.

Example:

php > var_dump((int) "5");
int(5)

I believe the syntax was borrowed from C.