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: |
aac041c343e3878a6530f8bd2815a379 |
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 = ''; |
︙ | ︙ |