Guest User

Untitled

a guest
Feb 24th, 2018
84
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.38 KB | None | 0 0
  1. javascript:(() => {const $log = document.querySelector('div.container pre');if($log.className === 'formatted'){$log.textContent = $log.textContent.replace(/[¥n¥r].* (INFO|DEBUG) [^¥n¥r]*/g, '');}else{$log.style.overflow = 'visible';$log.textContent = $log.textContent.replace(/([¥n¥r])¥[¥d¥s-:,¥] ¥{.*¥} INFO - ((Subtask|Running): )?/g, '$1');$log.className = 'formatted';}})()
Add Comment
Please, Sign In to add comment