Merge branch 'gitter-badge' of https://github.com/gitter-badger/ext-http
[m6w6/ext-http] / scripts / gen_stubs.php
2015-09-28  Michael WallnerMerge branch 'R_2_5'
2015-09-28  Michael Wallnerattempt to implement some personal standards