Guest User

Untitled

a guest
Jan 21st, 2018
78
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.40 KB | None | 0 0
  1. $(document).ready(function() {
  2.  
  3. $('pre').each(function(i) {
  4. var $pre = $(this);
  5. var reg = new RegExp("## lang\=(.*)");
  6. var lang = reg.exec($pre.text());
  7. if (null !== lang) {
  8. $pre.text($pre.text().replace(lang[0], ''));
  9. $pre.addClass('sh_' + lang[1]);
  10. }
  11. });
  12.  
  13. sh_highlightDocument('misc/sh/lang/', '.js');
  14.  
  15. });
Add Comment
Please, Sign In to add comment