Overview
SHA1:9e063787cb929e166b4bdf98ce76e2c229e0f567
Date: 2018-06-11 14:27:19
User: bohwaz
Comment:Plugins: Ne pas lister les répertoires qui ne sont pas des plugins ou qui n'ont pas un nom valide
Timelines: family | ancestors | descendants | both | trunk | stable
Downloads: Tarball | ZIP archive
Other Links: files | file ages | folders | manifest
Tags And Properties
Context
2018-06-20
21:10
[1f26ad54dd] Ne pas permettre d'ajouter des champs ayant un nom système (user: bohwaz, tags: trunk, stable)
2018-06-11
14:27
[9e063787cb] Plugins: Ne pas lister les répertoires qui ne sont pas des plugins ou qui n'ont pas un nom valide (user: bohwaz, tags: trunk, stable)
2018-06-08
23:49
[d0aec8e855] Corrige espaces entre champs non accepté par Excel, cf. [a0d8fe39e6] (user: bohwaz, tags: trunk, stable)
Changes

Modified src/include/lib/Garradin/Plugin.php from [9c18ecf730] to [d98f97b2d2].

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;