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.
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.