Update to PHP 7. master
authorGreg Burri <greg.burri@gmail.com>
Fri, 29 Jul 2016 11:40:18 +0000 (13:40 +0200)
committerGreg Burri <greg.burri@gmail.com>
Fri, 29 Jul 2016 11:40:18 +0000 (13:40 +0200)
commitcbfdf65da1b22992abb8feb31713c2988ce89d6e
tree4a888777d19c5fdf5a30627065aa78080a0461e7
parent702e5a533ca9e8fd4c57fd10fabf9af19b0bd5c5
Update to PHP 7.
index.php
php/connexion.php