From ecae70ae17e834d3efb89dfcabc2fbb472657282 Mon Sep 17 00:00:00 2001 From: Dennis Korpel Date: Thu, 21 May 2026 21:27:44 +0200 Subject: [PATCH 1/2] Remove jQuery dependency, use vanilla JavaScript Ports all of js/*.js to vanilla DOM APIs: - dlang.js: navigation/menu toggling - ddox.js: symbol search - listanchors.js: version selector - platform-downloads.js: download button injection - show_contributors.js: fetch contributors list (XHR -> fetch()) - run.js: runnable example boxes ($.ajax -> fetch()) - run_examples.js: per-unittest runnable boxes Drops the jquery CDN/local