è una modifica molto easy...
Cerca:// Now make absolutely sure it's a number.
$board = (int) $_REQUEST['board'];
sostituisci con:// Now make absolutely sure it's a number.
$board = (int) $_REQUEST['board'];
$_REQUEST['start'] = isset($_REQUEST['start']) ? (int) $_REQUEST['start'] : 0;
Cerca:// There should be a $_REQUEST['start'], some at least. If you need to default to other than 0, use $_GET['start'].
if (empty($_REQUEST['start']) || $_REQUEST['start'] < 0)
sostituisci con:// There should be a $_REQUEST['start'], some at least. If you need to default to other than 0, use $_GET['start'].
if (empty($_REQUEST['start']) || $_REQUEST['start'] < 0 || (int) $_REQUEST['start'] > 2147473647)
Ovviamente controlla se riesci a farlo manualmente, installi la patch e successivamente fai la modifica a manina per quel file...