##// END OF EJS Templates
diffs: fixed outdated files in pull-requests re-using the filediff raw_id for anchor generation....
diffs: fixed outdated files in pull-requests re-using the filediff raw_id for anchor generation. In some cases when there are no longer any files this caused error since filediff wasn't present. In addition this generated wrong ids since it used a last-defined attribute on a for loop. Fixes #5567
marcink -
r3830:5bbd362b stable
Show More
Name Size Modified Last Commit Author
/ ... / js / src / math_jax / extensions / TeX
AMScd.js Loading ...
AMSmath.js Loading ...
AMSsymbols.js Loading ...
HTML.js Loading ...
action.js Loading ...
autobold.js Loading ...
autoload-all.js Loading ...
bbox.js Loading ...
begingroup.js Loading ...
boldsymbol.js Loading ...
cancel.js Loading ...
color.js Loading ...
enclose.js Loading ...
extpfeil.js Loading ...
mathchoice.js Loading ...
mediawiki-texvc.js Loading ...
mhchem.js Loading ...
newcommand.js Loading ...
noErrors.js Loading ...
noUndefined.js Loading ...
unicode.js Loading ...
verb.js Loading ...