User:Platonides/vector.js

if ( wgPageName == "Special:Code" ) { if ( document.getElementById('path') ) { document.getElementById('path').onchange = function { if ( document.getElementById('path').value.substring(0, 7) == 'phase3/' ) { document.getElementById('path').value = "/trunk/" + document.getElementById('path').value; }  } } }