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