diff options
author | William Desportes <williamdes@wdes.fr> | 2018-12-21 12:19:32 +0300 |
---|---|---|
committer | William Desportes <williamdes@wdes.fr> | 2018-12-21 13:49:00 +0300 |
commit | 3ca66461373955f9f92c1dc5beb01a39885bddba (patch) | |
tree | 1b4877fe101f2f1e3486746d83ac71aa0a62bb9d /index.php | |
parent | a6b6792cfbc83494e8e5f73dfe2f5fc91af87759 (diff) |
Fix found by phpstan
See: cc2665121d8931b702c08ff12182cde9c452ee43
Signed-off-by: William Desportes <williamdes@wdes.fr>
Diffstat (limited to 'index.php')
0 files changed, 0 insertions, 0 deletions