Website/wp-content/plugins/wp-code-highlight/js/wp-code-highlight-button.js

/**
* @plugin name WP Code Highlight
* @plugin url http://boliquan.com/wp-code-highlight/
*/
edButtons[edButtons.length] = new edButton( 'pre', 'WP-Code-Highlight', '<pre>\n', '\n</pre>\n', 'p' );