PHP: individuare i browser mobili

In PHP possiamo individuare i browser mobili.

La soluzione è la seguente:

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