Revision 763d1ca9be2d8011fc5526b62fb02e988af1c217

Committed on 15/10/2018 3:27 am by Gaetano Giunta <[email protected]> [GitHub Diff]

Fix based on reports from PHPStorm (#23)

Share your information