7 Commits

Author	SHA1	Message	Date
terrafrost	b4cf10fc94	Revert "Merge branch '2.0'" ... This reverts commit be5f4ef6b19c82f6c898708cc8e1828b05e3d4e8, reversing changes made to 638fe6971c.	2016-04-10 11:30:59 -05:00
terrafrost	4b69dcb1ca	Revert "Merge remote-tracking branch 'bantu/bootstrap'" ... This reverts commit ef04c870e9, reversing changes made to cd57bf31ae.	2016-04-10 11:25:31 -05:00
terrafrost	b9ce54aae9	Travis: re-add hhvm and use zenovich github repo only	2015-12-13 16:16:50 -06:00
Andreas Fischer	3fc86d641c	runkit: Provide alternative repository for PHP 5.6.	2014-09-04 22:47:48 +02:00
Andreas Fischer	7b665a18a1	runkit: Change git from git:// to https://	2014-09-04 04:23:11 +02:00
Andreas Fischer	db228c9224	runkit is currently not compatible with PHP 5.6.0 Beta 4	2014-06-19 15:36:55 +02:00
Andreas Fischer	3084a30615	Put PHP extension installation into a shell script.	2014-01-22 03:54:02 +01:00