Overview
Comment:Possibilité de définir une version max de Garradin dans le plugin, pour garantir que ça va pas casser avec la version suivante
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | dev
Files: files | file ages | folders
SHA1: aac041c343e3878a6530f8bd2815a37925836522
User & Date: bohwaz on 2017-08-04 07:00:27
Other Links: branch diff | manifest | tags
Context
2017-08-04
07:01
Augmenter max-height car les sélecteurs à choix multiple peuvent être plus longs que 1000px check-in: 638984bc15 user: bohwaz tags: dev
07:00
Possibilité de définir une version max de Garradin dans le plugin, pour garantir que ça va pas casser avec la version suivante check-in: aac041c343 user: bohwaz tags: dev
06:59
Correction : doit être un objet check-in: 34b11356bc user: bohwaz tags: dev
Changes

Modified src/include/lib/Garradin/Plugin.php from [9346cc4324] to [bd0f6f93ec].

550
551
552
553
554
555
556





557
558
559
560
561
562
563
			}
		}

		if (!empty($infos->min_version) && !version_compare(garradin_version(), $infos->min_version, '>='))
		{
			throw new \RuntimeException('Le plugin '.$id.' nécessite Garradin version '.$infos->min_version.' ou supérieure.');
		}






		if (!empty($infos->menu) && !file_exists($path . '/www/admin/index.php'))
		{
			throw new \RuntimeException('Le plugin '.$id.' ne comporte pas de fichier www/admin/index.php alors qu\'il demande à figurer au menu.');
		}

		$config = '';







>
>
>
>
>







550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
			}
		}

		if (!empty($infos->min_version) && !version_compare(garradin_version(), $infos->min_version, '>='))
		{
			throw new \RuntimeException('Le plugin '.$id.' nécessite Garradin version '.$infos->min_version.' ou supérieure.');
		}

		if (!empty($infos->max_version) && !version_compare(garradin_version(), $infos->max_version, '>'))
		{
			throw new \RuntimeException('Le plugin '.$id.' nécessite Garradin version '.$infos->max_version.' ou inférieure.');
		}

		if (!empty($infos->menu) && !file_exists($path . '/www/admin/index.php'))
		{
			throw new \RuntimeException('Le plugin '.$id.' ne comporte pas de fichier www/admin/index.php alors qu\'il demande à figurer au menu.');
		}

		$config = '';