diff options
| author | 2023-11-24 14:50:03 +0100 | |
|---|---|---|
| committer | 2023-11-24 14:50:03 +0100 | |
| commit | 76cbfadcdfdcbf675b83f6162a229938aca3bbe1 (patch) | |
| tree | 01aa96c6774dcf2a692fd3062ae1ffccb0a8bfa0 /app/Mailers/UserMailer.php | |
| parent | bc9ef0d188fa43d4a4d06835f74e2d94799b65c6 (diff) | |
Fix types for extensions (#5901)
* Fix types for extensions
To accompany https://github.com/FreshRSS/Extensions/pull/185
* Avoid bug redeclared function
Diffstat (limited to 'app/Mailers/UserMailer.php')
| -rw-r--r-- | app/Mailers/UserMailer.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/app/Mailers/UserMailer.php b/app/Mailers/UserMailer.php index 6e54caa4b..a78ab9b32 100644 --- a/app/Mailers/UserMailer.php +++ b/app/Mailers/UserMailer.php @@ -8,7 +8,6 @@ class FreshRSS_User_Mailer extends Minz_Mailer { /** * @var FreshRSS_View - * @phpstan-ignore-next-line */ protected $view; |
