A wiki in a box - this is a backup read-only mirror of the main Github repository. https://github.com/sbrl/Pepperminty-Wiki/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

12 lines
160 B

language: php
- 7.0
- 7.1
- nightly
- php build.php
- ls modules/*.php | xargs -n 1 php -l
script: php -l build/index.php