PHP код:
if (isset($_GET['user'])
{
// Тут код если переменная не пуста
}
else if (isset($_GET['game'])
{
// Тут код если переменная не пуста
}
else if (isset($_GET['library']))
{
// Тут код если переменная не пуста
}
Использование (int) для объявления типа переменной не обязательно в PHP. А поскольку необязательно, то не плодите избыточного кода.