Overview
SHA1:50e72bff3f69d9fc0838c74ea0c42314261c5dee
Date: 2018-09-19 13:54:22
User: bohwaz
Comment:Correction filtrage liste plugins
Timelines: family | ancestors | descendants | both | dev
Downloads: Tarball | ZIP archive
Other Links: files | file ages | folders | manifest
Tags And Properties
Context
2018-09-19
13:54
[4d805fc2bf] Lien sur le premier champ de la liste (user: bohwaz, tags: dev)
13:54
[50e72bff3f] Correction filtrage liste plugins (user: bohwaz, tags: dev)
2018-09-13
22:21
[85d5a50a94] Utilisation de safe_unlink/safe_mkdir partout (user: bohwaz, tags: dev)
Changes

Modified src/include/lib/Garradin/Plugin.php from [e947eb781e] to [3309a9934c].

406
407
408
409
410
411
412

413
414
415
416
417
418
419
		$list = $db->getGrouped('SELECT id, nom, menu_condition FROM plugins WHERE menu = 1 ORDER BY nom;');

		foreach ($list as $id => &$row)
		{
			if (!self::getPath($row->id, false))
			{
				// Ne pas lister les plugins dont le code a disparu

				continue;
			}

			if (!$row->menu_condition)
			{
				$row = $row->nom;
				continue;







>







406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
		$list = $db->getGrouped('SELECT id, nom, menu_condition FROM plugins WHERE menu = 1 ORDER BY nom;');

		foreach ($list as $id => &$row)
		{
			if (!self::getPath($row->id, false))
			{
				// Ne pas lister les plugins dont le code a disparu
				unset($list[$id]);
				continue;
			}

			if (!$row->menu_condition)
			{
				$row = $row->nom;
				continue;