The code at the bottom of the plugin, that includes the highlighter's JS files, is wrong. You use
<script class="javascript" src="..."></script>
when you should use
<script type="text/javascript" src="..."></script>.
Class is not a valid attribute for the <script> tag. It's an easy fix, though.