This documentation is not using the current rendering mechanism and is probably outdated. The extension maintainer should switch to the new system. Details on how to use the rendering mechanism can be found here.
- EXT: Readable name of your extension
- EXT: PHP Shell terminal Backend integration