tree 00ae19f5214561693eb403a50762d526231e8378
parent bc381a412096255db1253d0df890e2bddc19ea37
author Shawn Pearce <sop@google.com> 1423470153 -0800
committer Shawn Pearce <sop@google.com> 1435097065 -0700

Markdown: apply prettify to verbatim blocks

Verbatim blocks may optionally specify a language, e.g.:

  ```java
  import java.io.InputStream;
  ```

If the named language is known to be supported by prettify parser
try to format with syntax highlighting and include that styled
result in the HTML.

Avoid recreating the Prettify instance each time a block needs to
be formatted. Prettify can be run over multiple inputs but is not
thread-safe due to updates of the file extension map while loading a
language that has not been processed before.

Replacing the map with a synchronized map during init will prevent
internal map corruption when concurrent threads initialize languages.

Change-Id: Ia37628d7c440df0170a21e69383ab69b20e85beb