Counter of people who uploaded task #9
Description
It would be nicht to have the number of people who already turned something in.
Especially in the 'Grading' Section of each 'Task' it can be easily placed right to the number showing the maximum of points.
My current workaround is to throw this snippet into the development console.
document.getElementsByClassName("ph0-l").length