60 commits

Author	SHA1	Message	Date
Michele Locati	79f6025d71	Remove useless space	2018-12-11 16:32:15 +01:00
Michele Locati	3a26e31f70	Don't re-execute TravisCI jobs upon automatic update of README.md	2018-12-11 12:13:42 +01:00
Michele Locati	1852e2d8e1	Include common utilities in travisci-update-readme	2018-10-17 16:55:55 +02:00
Michele Locati	e01db37cd1	Show installed PHP modules after the new extension has been installed	2018-04-12 12:39:39 +02:00
Michele Locati	c403aa5e31	Avoid obsolete "-o" notation	2018-04-12 12:13:40 +02:00
Michele Locati	fe7a5b3de5	Test newly added extensions	2018-04-12 11:50:26 +02:00
Michele Locati	c6d20b85f2	Fix automatic update of README.md	2018-04-12 10:16:48 +02:00
Michele Locati	f13ecf54b9	Trigger TravisCI push build	2018-04-12 09:22:18 +02:00
Michele Locati	830d462bd8	Let TravisCI automatically rebuild README.md when pushing	2018-04-12 09:17:21 +02:00
Michele Locati	d9d8e5fc34	Initial commit	2018-04-11 17:39:10 +02:00