diff options
| author | 2018-04-17 23:12:35 +0100 | |
|---|---|---|
| committer | 2018-04-17 23:12:35 +0100 | |
| commit | c99f816e71d28dfaf3bd44d27d211f2b44778f48 (patch) | |
| tree | 297747765dfcd5163839333c0879e04e2e4b565b /templates/wiki/page_edit.html | |
| parent | JSON file had the wrong name. I should be incarcerated. (diff) | |
Add wiki audit logs (#52)
* Add wiki audit logs
* Flake8 issues
* Forgot to remove debug prints
* Removed print but forgot to remove `.text`
* Futile attempt to increase coverage
* Reading up on API docs asks us to send User-Agent with our info in it
* Add tests for wiki
* Well played, Travis
* Nothing in my local env is working on travis lol
* Why does it appear it can't decide between 200 & 302 :thinking:
* Flake8
* Post route
* Same issue with local env working differently from Travis env
* Add page to show page is being edited
* Lock page when it is being edited
* Add JS to keep refreshing lock on article
* Add compare route to render diff
* Add revision table to database
* Add revision storage
* Add revision list route
* JS for Revision list radio buttons
* Add revision comparison template
* Add revision list template
* flak8 my ass
* [Unit Tests] New unit tests for history routes :sparkles:
* Does this fix things?
* Address gdude's reviews
* Noticed a bug in the diff generation route which meant that empty posts could potentially error
* Flake 8
* Audit logs were logging after change, meaning it was comparing after & after, which didn't work
* Change table name
* Remove whitespace from line to fix flake8 issue
* Address reviews
* Git hook made me do something wrong, apologies
* Switch from werkzeug redirect to flask one
* Address Apertures reviews
Diffstat (limited to 'templates/wiki/page_edit.html')
| -rw-r--r-- | templates/wiki/page_edit.html | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/templates/wiki/page_edit.html b/templates/wiki/page_edit.html index b59a8912..a2d709e2 100644 --- a/templates/wiki/page_edit.html +++ b/templates/wiki/page_edit.html @@ -99,5 +99,23 @@ document.getElementById("title").oninput = function() { document.getElementById("preview-title").textContent = document.getElementById("title").value; } + + function refreshLock(){ + console.log("Refreshing lock") + let xhttp = new XMLHttpRequest(); + xhttp.onreadystatechange = function() { + if (this.readyState === 4 && this.status === 204) { + console.log("Lock refreshed") + } else if(this.readyState === 4 && this.status !== 204) { + console.log("Could not refresh lock") + } + }; + + xhttp.open("PATCH", document.location.pathname, true); + xhttp.send(); + } + + // Lock refreshing + setInterval(refreshLock, (60 * 4) * 1000) </script> -{% endblock %}
\ No newline at end of file +{% endblock %} |