getgrav/grav-plugin-devtools

Grav Devtools Plugin

Stars: 43
Forks: 29
Open beginner issues: 0
Indexed issues: 5
Avg merge: 9h 28m
Merged PRs (30d): 1

Dominant language: PHP
License: MIT
Last GitHub push: Sep 9, 2026
Latest indexed: Sep 16, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Open All

5 open issues indexed

Theme inheritance. Problem with apostrophe and quotes. Open

getgrav/grav-plugin-devtools#76 · 6 comments · 0 reactions · 0 assignees · Indexed Sep 16, 2026
Allows creating theme with illegal class name. Enabling theme crashes whole instance. Open

getgrav/grav-plugin-devtools#79 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 16, 2026
Creating new-plugin: config.platform.php: 7.1.3 prevents installing packages requiring php 8.* Open

getgrav/grav-plugin-devtools#80 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 16, 2026
Feature request: Allow devtools to create new CLI commands under an existing plugin Open

getgrav/grav-plugin-devtools#89 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 16, 2026
Devtools new-theme exits back to command line after printing template choice Open

getgrav/grav-plugin-devtools#91 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 16, 2026

A short digest of beginner-friendly GitHub issues.