diff options
| author | 2023-12-22 11:03:47 +0100 | |
|---|---|---|
| committer | 2023-12-22 11:03:47 +0100 | |
| commit | 6d2e53178b6dc83845f4eaabde458c2c5b2d24fb (patch) | |
| tree | b094eddc299f3a50b989d4dfb8487f65c37dc848 /constants.php | |
| parent | c7a3281a73839590bfa9d8a9e73c41fc35fc2847 (diff) | |
Typed Minz_Extension (#5957)
Replaces https://github.com/FreshRSS/FreshRSS/pull/5837
The signature of methods supposed to be overriden by existing thid-party extensions cannot be modified
Diffstat (limited to 'constants.php')
0 files changed, 0 insertions, 0 deletions
