caricamento file in base al browser

[IImanuII]

Ho notato che se apro il mio sito in IE questo si blocca se non completamente, quasi....
Facendo una ricerca ho capito qual'è il problema:

I browser mostrano una fluidità dell’animazione quando riescono a seguire tale successione di step e ad aggiornare il valore CSS al momento giusto. IE ha problemi con le animazioni complesse proprio per questo motivo: è come un batterista che perde il tempo durante l’esecuzione e poi cerca di recuperare. Ecco perchè in plugin complessi le animazioni in IE si vedono a scatti: semplicemente, IE perde il tempo dell’animazione (specie quando duration ha un valore superiore a 1000) e cerca di concludere la sequenza di step alla bene e meglio.

Per ovviare ho creato alcuni file ad hoc più "leggeri".

li ho inseriti in base al browser così:

$explorer = strpos($_SERVER['HTTP_USER_AGENT'],"MSIE");//individuo exploder :)

//se è vero che uso explorer 
if ($explorer == true) { 
        //carico questi
	$editor = './ckeditor/IEckeditor.js';
	$stile = 'iestile.css'; 

}else{ //se utilizzo un altro browser quindi $explorer non è vero
         //carico invece questi file
	$editor = './ckeditor/ckeditor.js';
	$stile = 'stile.css'; 
}

Nell'header della pagina vengono richiamati così:

<link rel="stylesheet" type="text/css" href="./css/<?php echo $stile; ?>" >
<script src="<?php echo $editor; ?>" type="text/javascript"></script>

Non ho trovato nulla nel forum riguardante questo, spero serva a qualcuno ^^
Oppure se qualcuno sa come la migliori!