[dokuwiki] New PR: Set User-Agent header to 'DokuWiki HTTP Client (Extension Manager)'

  • From: "LarsGit223" <wiki@xxxxxxxxxxxx>
  • To: dokuwiki@xxxxxxxxxxxxx
  • Date: Fri, 8 Jun 2018 22:41:57 +0200 (CEST)

Hi,

LarsGit223 opened a new pull request at 
https://github.com/splitbrain/dokuwiki/pull/2417:

This fixes download/installation problems for plugins which are hosted on 
SourceForge.

Please help us to review this pull request, so new contributors get feedback in 
a timely manner.

6240d760-6b5c-11e8-9d40-b74c0fd151a9


-- 
DokuWiki mailing list - more info at
http://www.dokuwiki.org/mailinglist

Other related posts:

  • » [dokuwiki] New PR: Set User-Agent header to 'DokuWiki HTTP Client (Extension Manager)' - LarsGit223
  1. Home
  2. dokuwiki
  3. Archive
  4. 06-2018