[BUG #7304] add highlight.js to Third-party manual page