Normally that file is just called "header.php", and you should see other javascript code references there - just add the detect/redirect section alongside those.
Normalmente este archivo se llama "encabezado.php" ("header.php") y deberá ver otros códigos de referencia javascript en él - simplemente añada la sección de detección/redirección al lado de éstos.
See Core JavaScript 1.5 Reference:Global Objects for a list of the core objects in JavaScript.
Los ejemplos se utilizan solo para ayudarte a traducir la palabra o expresión en diversos contextos. Nosotros no los seleccionamos ni los validamos y pueden contener términos o ideas inapropiados. Infórmanos sobre este tipo de ejemplos para que sean editados o dejen de mostrarse. Las traduccciones potencialmente sensibles, inapropiadas o coloquiales suelen estar marcadas con rojo o con naranja.