DOMjudge/domjudge — pull request #137 by ruudkoot (2014-09-09 11:25:00+00:00)
Title: Update submission_details.php

parseDiff does not produce any output (nor seems to be defined anywhere). Use parseRunDiff, as on the jury submission details page, instead.