Overview
SHA1:d1635d06137359e1fda5046a66edb1356e6e4fcc
Date: 2018-10-21 19:30:29
User: bohwaz
Comment:Forcer l'installation des plugins système avant leur affichage
Timelines: family | ancestors | descendants | both | dev
Downloads: Tarball | ZIP archive
Other Links: files | file ages | folders | manifest
Tags And Properties
Context
2018-10-21
19:31
[a00fcdfade] Effacer le menu stocké en session lors d'installation / désinstallation (user: bohwaz, tags: dev)
19:30
[d1635d0613] Forcer l'installation des plugins système avant leur affichage (user: bohwaz, tags: dev)
19:29
[e6bc64c5f2] Ne pas remettre à zéro les données custom de la session (user: bohwaz, tags: dev)
Changes

Modified src/include/lib/Garradin/Plugin.php from [d351935f52] to [5cc2a1ae85].

403
404
405
406
407
408
409


410
411
412
413
414
415
416

	/**
	 * Liste les plugins qui doivent être affichés dans le menu
	 * @return array Tableau associatif id => nom (ou un tableau vide si aucun plugin ne doit être affiché)
	 */
	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))
			{







>
>







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

	/**
	 * Liste les plugins qui doivent être affichés dans le menu
	 * @return array Tableau associatif id => nom (ou un tableau vide si aucun plugin ne doit être affiché)
	 */
	static public function listMenu($user)
	{
		self::checkAndInstallSystemPlugins();

		$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))
			{