Merge branch 'master' of http://git.syncroton.org/Syncroton into SyncrotonMerge
[tine20] / tine20 / library / Syncroton / lib / Syncroton / Command / Ping.php