diff options
| author | Mariano Guerra <[email protected]> | 2016-10-21 21:22:52 +0100 |
|---|---|---|
| committer | Mariano Guerra <[email protected]> | 2017-03-13 11:51:52 +0100 |
| commit | 2887ebb0cd748f60cfe410f414ad27acfc7a3cb5 (patch) | |
| tree | 4b1caa1e7aebada7aead827599b3ef80dab148cd /lib/erl_interface/priv | |
| parent | 1f0689526a75e776bb4486da55cd48cb2e2efb15 (diff) | |
| download | otp-2887ebb0cd748f60cfe410f414ad27acfc7a3cb5.tar.gz otp-2887ebb0cd748f60cfe410f414ad27acfc7a3cb5.tar.bz2 otp-2887ebb0cd748f60cfe410f414ad27acfc7a3cb5.zip | |
add progressive enhanced syntax highlighter
it loads a script at the end of the page that loads the required
resources and initializes the syntax highlighter.
if js is disabled or blocked nothing happens, the code blocks will
display with the style they had until now
Diffstat (limited to 'lib/erl_interface/priv')
0 files changed, 0 insertions, 0 deletions