fix failure on travis with PHP-7.0 and 7.1
[m6w6/ext-propro] / .gitmodules
2015-09-29  Michael WallnerMerge branch 'R_1_0'
2015-09-29  Michael Wallnertravis