Adds sorting and categorization to the PR dashboard.
As of 13.04.2019. See апошняя версія.
These are versions of this script where the code was updated. Паказаць усе версіі.
