Skip to content
Permalink
Browse files

Merge pull request #561 from bramley/Mantis_20004

Updating a plugin fails due to php 7.3 PCRE change
  • Loading branch information...
samtuke committed Jul 4, 2019
2 parents f1e3234 + 67e2ff4 commit 0da7eb43fd8bdefb02725dd16281d23ab8abec52
Showing with 3 additions and 3 deletions.
  1. +3 −3 public_html/lists/admin/plugins.php
@@ -34,7 +34,7 @@
//# verify the url against known locations, and require it to be "zip".
//# let's hope Github keeps this structure for a while
if (!preg_match('~^https?://github\.com/([\w-_]+)/([\w-_]+)/archive/(.+)\.zip$~i', $packageurl, $regs)) {
if (!preg_match('~^https?://github\.com/([\w\-_]+)/([\w\-_]+)/archive/(.+)\.zip$~i', $packageurl, $regs)) {
echo Error(s('Invalid download URL, please reload the page and try again'));
return;
@@ -365,7 +365,7 @@
);
echo $ls->display();
/**
/**
* Creates a link to the plugins page to show only plugins that meet the filter value.
*
* @param string $filterParam the URL query parameter
@@ -383,7 +383,7 @@ function filterLink($filterParam, $count, $caption)
: $caption;
}
/**
/**
* Query GitHub for the latest tag of a plugin.
* Cache the result of each query for 24 hours to limit the number of API calls.
*

0 comments on commit 0da7eb4

Please sign in to comment.
You can’t perform that action at this time.