diff options
| author | steckbrief <steckbrief@chefmail.de> | 2018-10-04 08:32:08 +0200 |
|---|---|---|
| committer | steckbrief <steckbrief@chefmail.de> | 2018-10-04 08:32:08 +0200 |
| commit | abe4d4646217e04827cbcef6e012524bbaa0b33c (patch) | |
| tree | 6371b7659917af03f892afc62d72b41b20524ccf /managing-ui/logout.php | |
| parent | 507d2fd5642b7c13b290a4674ce7d778a348a252 (diff) | |
fixes a problem in checking for file existence when filename contains '%20' as white space
Diffstat (limited to 'managing-ui/logout.php')
0 files changed, 0 insertions, 0 deletions