Allows the user to mark comments as pinned to top
Version au 04/11/2019. Voir la dernière version.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.
