Add PHPStan and other quality checks

Similar to FreshRSS core
Contributes to https://github.com/FreshRSS/Extensions/issues/184
This commit is contained in:
Alexandre Alapetite 2023-11-23 22:41:09 +01:00
parent a86467db48
commit b49596818c
No known key found for this signature in database
GPG key ID: A24378C38E812B23
59 changed files with 1173 additions and 404 deletions

View file

@ -4,6 +4,6 @@ A FreshRSS extension which set the feed aside in the main stream following the w
To use it, upload this directory in your `./extensions` directory and enable it on the extension panel in FreshRSS.
# Deprecated
## Deprecated
This function is already implemented into FreshRSS.

View file

@ -3,7 +3,7 @@
declare(strict_types=1);
class StickyFeedsExtension extends Minz_Extension {
public function init() {
public function init(): void {
Minz_View::appendStyle($this->getFileUrl('style.css', 'css'));
Minz_View::appendScript($this->getFileUrl('script.js', 'js'));
}

View file

@ -10,7 +10,7 @@
overflow-y: auto;
}
@media(max-width: 840px) {
@media (max-width: 840px) {
/* No effect on mobile. And yep, under 840px it is a mobile... a big one. */
#aside_feed.sticky .tree {
position: static;

View file

@ -0,0 +1,18 @@
#aside_feed.sticky {
position: relative;
}
#aside_feed.sticky .tree {
position: absolute;
right: 0;
width: 100%;
margin-top: 0;
overflow-y: auto;
}
@media (max-width: 840px) {
/* No effect on mobile. And yep, under 840px it is a mobile... a big one. */
#aside_feed.sticky .tree {
position: static;
}
}