pub - Revision 724: /wp-js-syntax-highlighter