PHP: individuare i dispositivi mobile

In PHP possiamo individuare i dispositivi mobile con semplicità.

La soluzione è la seguente:

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