Yo después de buscar y probar muchos opté por crear mi propio plugin usando Chili que es una fantastica librería de jQuery: aquí te dejo el enlace de cómo logré resaltar automaticamente el código PHP, CSS, HTML, etc.

Luego lo publicaré para que lo puedan descargar.