4 commits

Author	SHA1	Message	Date
El RIDO	46c0fc851c	Merge branch 'master' into php8	2022-11-17 06:04:12 +01:00
El RIDO	669c98550c	add a version check, the third argument in getopt requires PHP >= 7.1	2022-11-06 08:05:41 +01:00
El RIDO	bde7a19971	apply StyleCI patch	2022-11-06 07:43:19 +01:00
El RIDO	5195adfdb9	simple migration test	2022-11-06 07:41:05 +01:00