Adds a button for directly downloding the original GIF images to the side menu. Uses the given GIF title as the local filename.
Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.
