Add delete-token API

app/blueprints/api/endpoints.py

@@ -212,6 +212,20 @@ def whoami(token):
 		return jsonify({ "is_authenticated": True, "username": token.owner.username })
 
 
+@bp.route("/api/delete-token/", methods=["DELETE"])
+@csrf.exempt
+@is_api_authd
+@cors_allowed
+def api_delete_token(token):
+	if token is None:
+		error(404, "Token not found")
+
+	db.session.delete(token)
+	db.session.commit()
+
+	return jsonify({"success": True})
+
+
 @bp.route("/api/markdown/", methods=["POST"])
 @csrf.exempt
 def markdown():

app/flatpages/help/api.md

@@ -64,6 +64,13 @@ Tokens can be attained by visiting [Settings > API Tokens](/user/tokens/).
     * `is_authenticated`:  True on successful API authentication
     * `username`:  Username of the user authenticated as, null otherwise.
     * 4xx status codes will be thrown on unsupported authentication type, invalid access token, or other errors.
+* DELETE `/api/delete-token/`: Deletes the currently used token.
+
+```bash
+# Logout 
+curl -X DELETE https://content.minetest.net/api/delete-token/ \
+    -H "Authorization: Bearer YOURTOKEN"
+```
 
 
 ## Packages