fix #7873 - links to footnotes removed on paste
[roojs1] / highlight / highlight.pack.js
2016-09-09 Alan KnowlesAttribute changed highlight