// ==UserScript==
// @name        WordPress.org Plugins - Add SVN link
// @namespace   r-a-y/wporg/svn
// @description Adds a SVN link to the end of the "Contributors & Developers" section of a WordPress plugin listing.
// @include     https://wordpress.org/plugins/*
// @version     1
// @grant       none
// @downloadURL none
// ==/UserScript==

var a = document.createElement('a');
a.setAttribute('href','https://plugins.svn.wordpress.org/' + wporgLocaleBanner.currentPlugin);
a.innerHTML = 'SVN repository';

document.getElementById('developers').appendChild( a );