Removed unnecessary google-code-prettify language extensions