1 var editlink = document.createElement('a');
2 editlink.className = 'nav';
3 editlink.appendChild(document.createTextNode('Nieuw artikel'));
4 editlink.onclick = function () {
5 var today = new Date().toJSON().slice(0, 10);
6 var input = prompt('Artikelnaam (plaatsingsdatum en paginatitel)', today + ' ');
7 if (!input) return false;
8 if (!/^\d{4}-\d\d-\d\d[- :]+\S/.test(input)) {
9 alert('Artikelnaam moet beginnen met een datum in de vorm jaar-mm-dd.');
12 var url = input.toLowerCase().replace(/[^a-z0-9]+/g, ' ').trim()
13 .replace(/ /g, '-').replace('-', '/');
14 var title = encodeURIComponent(input.substr(11).trim());
15 window.location = '/nieuws/'+url+'?edit='+title+'#edit';
18 document.getElementById('news').appendChild(editlink);