Waldir Pimenta
Waldir Pimenta
> To do so squared flags are needed to hide or show more or less content depending on the border radius. Ooooh, this actually makes me wonder if we could...
I prefer the idea of tags to a single categorical division, since different people may have different needs in how they would group the listed entries.
> grabbing keywords from them What's your idea of how to do this? Some sort of automated analysis of salient tokens, or matching the text of the READMEs to a...
That's pretty cool! Hopefully it's something that doesn't require a lot of knowledge of each framework's internals to update. Perhaps that page should be moved to mediawiki.org (and btw, I...
For reference, here's what it looks like:  For comparison, here's Book Antiqua: 
Hm, according to @Asaf-S in #31: > Failing tests are being printed to the terminal as usual with all of their error logs How is this PR different from that?...
Ah, got it, so this is meant to display logs from the code itself, in addition to those from the tests. Thanks for the clarification!
IMHO the current version has better contrast; not sure the highlight is a net positive. No opinion on the other changes, though I welcome improved sharpness in dark mode :)
Cross-referencing #142 and #143.
Apparently the `super-linter` action [supports PHP linters](https://github.com/super-linter/super-linter#supported-linters). It might be an easier way to set this up.