Overview
Comment: | Forcer l'installation des plugins système avant leur affichage |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | dev |
Files: | files | file ages | folders |
SHA1: |
d1635d06137359e1fda5046a66edb135 |
User & Date: | bohwaz on 2018-10-21 19:30:29 |
Other Links: | branch diff | manifest | tags |
Context
2018-10-21
| ||
19:31 | Effacer le menu stocké en session lors d'installation / désinstallation check-in: a00fcdfade user: bohwaz tags: dev | |
19:30 | Forcer l'installation des plugins système avant leur affichage check-in: d1635d0613 user: bohwaz tags: dev | |
19:29 | Ne pas remettre à zéro les données custom de la session check-in: e6bc64c5f2 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)) { |
︙ | ︙ |