Merge pull request #113 from Whissi/fix-undefined-array-key-PATH
[m6w6/ext-http] / scripts / check_package-xml.php
2020-09-21  Michael Wallnerdrop dep on ext-propro (dysfunctional with PHP 8)
2015-09-28  Michael WallnerMerge branch 'R_2_5'
2015-09-28  Michael Wallnerattempt to implement some personal standards