Local plugins

local_devtools

Moodle local plugin that adds a Developer Tools dropdown to the top navigation bar for authorized users.

Discovered · Tier 0
★ 1 · updated 05 Mar 2026 (as of 11 Jul 2026)
Discovered listing. Found by scanning public sources; nothing is hosted here — installation happens from the author's own repository. Are you the maintainer? Claim this plugin to publish verified releases (edit your entry directly), or request removal — no questions asked.

About

Moodle local plugin that adds a Developer Tools dropdown to the top navigation bar for authorized users.

From the source repository’s description — the maintainer has not published a listing manifest yet. See the source repository for full documentation.

Maintainer

dravek
0 releases in the archive
Source & issues →

Release history

No releases yet

Verification ledger

No verified releases yet

discovered listing; metadata only

Every step is independently verifiable. CAMP never modifies plugin code; it proves the ZIP you install is exactly what the maintainer published.

Security advisories

No published advisories