Use external ID in UI everywhere instead of internal database ID#3263

nickygerritsen merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

nickygerritsen:external-id-in-uinickygerritsen/domjudge:external-id-in-uiCopy head branch name to clipboard