prova a scrivere la versione estesa di:

Codice PHP:
$current_page = (!$_GET['page']) ? : (int)$_GET['page'];