Adds a "Copy Diff" button to the PR nav that copies the unified diff to the clipboard
Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.
