Merge pull request #4115 from dokuwiki/phpseclib3