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
