Michael Heimpold
379f4a9507
php7: update to 7.2.2
Also refresh patches to reflect new year.
Signed-off-by: Michael Heimpold <mhei@heimpold.de>
7 years ago
Michael Heimpold
97df69951c
php7: update to 7.1.1
Signed-off-by: Michael Heimpold <mhei@heimpold.de>
8 years ago
Michael Heimpold
3fc9ae5071
php7: update to 7.1.0
Adjust patches for new upstream revision.
Signed-off-by: Michael Heimpold <mhei@heimpold.de>
8 years ago
Michael Heimpold
583af8565e
php7: update to 7.0.13
Signed-off-by: Michael Heimpold <mhei@heimpold.de>
8 years ago
Michael Heimpold
80f0ea5728
php7: update to 7.0.12
Signed-off-by: Michael Heimpold <mhei@heimpold.de>
8 years ago
Michael Heimpold
f353950649
php7: adjust patch to unbreak build ( fixes #3202 )
Signed-off-by: Michael Heimpold <mhei@heimpold.de>
8 years ago
Michael Heimpold
c6d45a041e
php7: restructure patches
- Add some more patches from Debian
- Rename existing ones (our own patches starts with prefix 1000+)
Signed-off-by: Michael Heimpold <mhei@heimpold.de>
8 years ago