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
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 = '';