Adds sorting and categorization to the PR dashboard.
À partir de 2019-06-12. Voir la dernière version.
Ceci est la version du script où le code a été mise à jour. Présenter toutes les versions.
