Add the PDE extension to extensions.json #4136
Description
Contributing.md recommends installing the PDE extension, but the extension is not listed in extensions.json.
{{ message }}
Add the PDE extension to
extensions.json #4136Contributing.md recommends installing the PDE extension, but the extension is not listed in extensions.json.