diff options
| author | steckbrief <steckbrief@chefmail.de> | 2018-10-14 12:52:17 +0200 |
|---|---|---|
| committer | steckbrief <steckbrief@chefmail.de> | 2018-10-14 12:52:17 +0200 |
| commit | 840bd494f97effaede00d2bbda3d1503887f1f83 (patch) | |
| tree | 2450dce2905db9c53eeaf3a4cc741a93a671471c /managing-ui/deleteFile.php | |
| parent | 35ad320c6926821423b6f84e4f914062f5410e39 (diff) | |
fixes error in getJidDomain(JID) in case of a JID with resource identifier
Diffstat (limited to 'managing-ui/deleteFile.php')
0 files changed, 0 insertions, 0 deletions