prettify.js has moved from code.google.com to github#735

sarlalian wants to merge 1 commit intopandao:masterpandao/editor.md:masterfrom

sarlalian:masterCopy head branch name to clipboard