commit | 34f83eb5f99e7ee2ede84d848584148b87f9d5f1 | [log] [tgz] |
---|---|---|
author | Geertjan Wielenga <geertjan.wielenga@oracle.com> | Mon Nov 25 13:21:09 2019 +0100 |
committer | GitHub <noreply@github.com> | Mon Nov 25 13:21:09 2019 +0100 |
tree | 10757203eb25e9b6dea2dbe1259504bce956bc8a | |
parent | 9bf05be50535f527036662fad7c2caa49d36821a [diff] | |
parent | a6f97915518e32a8ca0fd9d323a57620f04e16b1 [diff] |
Merge pull request #17 from jpirek/master Void return type is available from PHP 7.1, but 7.0 is on server.. removing that