Individuare i dispositivi mobile con PHP

In PHP possiamo individuare i dispositivi mobile.

La soluzione è la seguente:

function is_mobile_device() {
    return (stripos($_SERVER['HTTP_USER_AGENT'], 'mobile') !== false);
}