I'm using syntax highlighters for several years now and this plugin is the best one if you need a tool for your WordPress website.
I really like the way it works:
1. Adding mixed HTML/PHP code from the WYSISYG interface
2. All the JS/CSS code libs are only included if you use the syntax highligting feature
Great, one of the best plugin's I've ever seen!