diff options
| author |  Frans de Jonge <fransdejonge@gmail.com>
| 2019-04-08 22:32:17 +0200 |
|---|---|---|
| committer |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2019-04-08 22:32:17 +0200 |
| commit | 1bf8ef4e32dedb81da623fab288c79394d4dc37f (patch) | |
| tree | 43f95ae9874879981739547353103c5794ff1dcd /app/Controllers/extensionController.php | |
| parent | d26a49bc664a6c4e683676b7c4669e140ca59610 (diff) | |
[CI] Force php -l failure (#2363)
* [CI] Force php -l failure
By redirecting stderr to a file and checking if the filesize is greater than 0 bytes, we can also force failure for warnings.
See discussion in <https://github.com/FreshRSS/FreshRSS/pull/2362#issuecomment-480623161>.
* exclude JSON lib
Diffstat (limited to 'app/Controllers/extensionController.php')
0 files changed, 0 insertions, 0 deletions