402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
|
continue;
if (preg_match('!^([a-zA-Z0-9_.-]+)\.tar\.gz$!i', $file, $match))
{
// Sélectionner les archives PHAR
$file = $match[1];
}
elseif (!is_dir(PLUGINS_ROOT . '/' . $file))
{
// ignorer tout ce qui n'est pas un répertoire ou une archive PHAR
continue;
}
if (array_key_exists($file, $installed))
{
// Ignorer les plugins déjà installés
continue;
|
|
>
>
>
>
>
>
|
|
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
|
continue;
if (preg_match('!^([a-zA-Z0-9_.-]+)\.tar\.gz$!i', $file, $match))
{
// Sélectionner les archives PHAR
$file = $match[1];
}
elseif (is_dir(PLUGINS_ROOT . '/' . $file)
&& preg_match('!^([a-zA-Z0-9_.-]+)$!i', $file)
&& is_file(sprintf('%s/%s/garradin_plugin.ini', PLUGINS_ROOT, $file)))
{
// Rien à faire, le nom valide du plugin est déjà dans "$file"
}
else
{
// ignorer tout ce qui n'est pas un répertoire ou une archive PHAR valides
continue;
}
if (array_key_exists($file, $installed))
{
// Ignorer les plugins déjà installés
continue;
|