monkey patching wp-highlightjs