Overview
Comment: | Ne pas lister les plugins dont l'archive n'est pas dispo |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | dev |
Files: | files | file ages | folders |
SHA1: |
c3eb0857a4cce893995f95439f8f5a86 |
User & Date: | bohwaz on 2018-09-06 21:51:47 |
Other Links: | branch diff | manifest | tags |
Context
2018-09-13
| ||
22:01 | Ne pas faire d'erreur en cas de problème à la création, car des fois il y a des race conditions check-in: 3b0487da74 user: bohwaz tags: dev | |
2018-09-06
| ||
21:51 | Ne pas lister les plugins dont l'archive n'est pas dispo check-in: c3eb0857a4 user: bohwaz tags: dev | |
21:50 | Détecter les plugins dont le code source manque (cas lorsqu'on importe une base sur une installation ou un plugin manque à l'appel) check-in: 65ad392db4 user: bohwaz tags: dev | |
Changes
Modified src/include/lib/Garradin/Plugin.php from [8c873bd631] to [0e12346d98].
︙ | |||
403 404 405 406 407 408 409 410 411 412 413 414 415 416 | 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 | + + + + + + | 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)) { // Ne pas lister les plugins dont le code a disparu continue; } if (!$row->menu_condition) { $row = $row->nom; continue; } $condition = strtr($row->menu_condition, [ |
︙ |