diff options
| author | Nicolas <nikrou77@gmail.com> | 2016-02-10 12:37:12 +0100 |
|---|---|---|
| committer | Nicolas <nikrou77@gmail.com> | 2016-02-10 12:37:12 +0100 |
| commit | 0909717c37cdf2ddadcddaf92d610f5243ec3c17 (patch) | |
| tree | 3a545ee14ca752ab73eab2208f2e7d96cdc9a0fc /include/page_header.php | |
| parent | a35c7bdf18ef2e74738a0867b70aab18aa48ec9f (diff) | |
if php version is less than 7.0.3 and session_id exists do nothing
Diffstat (limited to 'include/page_header.php')
0 files changed, 0 insertions, 0 deletions