PHP: identificare i dispositivi mobile

In PHP possiamo identificare i dispositivi mobile con semplicità.

La soluzione è la seguente:

function is_mobile() {
  return (preg_match('/mobile/i', $_SERVER['HTTP_USER_AGENT']));
}