gdorn/FreshRSS-Extensions
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

New developer command to test all third-party extensions

Browse source 
* `composer run-script phpstan-third-party`
* Rename the directory for generate.php to `third-party` instead of `tmp`
* Take advantage of PHPStan checkMissingOverrideMethodAttribute https://phpstan.org/config-reference#checkmissingoverridemethodattribute
* Detected and fixed bug in URL of https://github.com/tunbridgep/freshrss-invidious
This commit is contained in:
Alexandre Alapetite 2024-04-07 17:06:35 +02:00
parent 9f21984b8c
commit cc6bf0d1e6
No known key found for this signature in database
GPG key ID: A24378C38E812B23
45 changed files with 192 additions and 100 deletions
Download patch file Download diff file Expand all files Collapse all files

3
generate.php
View file

@ -6,11 +6,12 @@
// ------------------- //
const VERSION = 0.1;
const TYPE_GIT = 'git';
$tempFolder = './tmp';
$tempFolder = './third-party/';
$extensions = [];
$gitRepositories = [];
if (file_exists($tempFolder)) {
// TODO: Improve by keeping git copy if possible (e.g. fetch + reset)
exec("rm -rf -- {$tempFolder}");
}