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

this kind of syntax (int) is called type casting. Basically it takes the variable following it and tries to force it into being an int