David Bruchmann
David Bruchmann
In PHP files some comments starting with `#` might be mistaken as annotation and lead to errors therefore. It depends on the context though.
@PKuhlmay you think we can just change the token? Or we need to take care about compatibility to former created extensions somehow? I think the token could be used in...
I created a new branch `main-dev`, which will be used for the explained purpose. https://github.com/DavidBruchmann/extension_builder/tree/main-dev
yeah, just keep the workflow in mind, in the beginning it's still about v12 too.
see #769
might be duplicate of #730
I will still check a few things in the installtool before merging, therefore I made it a draft first.
well with much tries to enlarge and search the view of the things it works, but it's hardly usable like this.
duplicate of #720
Yeah, no matter what I did, it's much too buggy. And the possible zoom level is not reflected by the +/- buttons either, I've the impression there is larger zoom...