Overview
Comment:Ne pas lister les plugins dont l'archive n'est pas dispo
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | dev
Files: files | file ages | folders
SHA1: c3eb0857a4cce893995f95439f8f5a8654f78a94
User & Date: bohwaz on 2018-09-06 21:51:47
Other Links: branch diff | manifest | tags
Context
2018-09-13
22:01
Ne pas faire d'erreur en cas de problème à la création, car des fois il y a des race conditions check-in: 3b0487da74 user: bohwaz tags: dev
2018-09-06
21:51
Ne pas lister les plugins dont l'archive n'est pas dispo check-in: c3eb0857a4 user: bohwaz tags: dev
21:50
Détecter les plugins dont le code source manque (cas lorsqu'on importe une base sur une installation ou un plugin manque à l'appel) check-in: 65ad392db4 user: bohwaz tags: dev
Changes

Modified src/include/lib/Garradin/Plugin.php from [8c873bd631] to [0e12346d98].

403
404
405
406
407
408
409






410
411
412
413
414
415
416
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422







+
+
+
+
+
+







	static public function listMenu($user)
	{
		$db = DB::getInstance();
		$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;
			}

			$condition = strtr($row->menu_condition, [