Overview
Comment: | Correction filtrage liste plugins |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | dev |
Files: | files | file ages | folders |
SHA1: |
50e72bff3f69d9fc0838c74ea0c42314 |
User & Date: | bohwaz on 2018-09-19 13:54:22 |
Other Links: | branch diff | manifest | tags |
Context
2018-09-19
| ||
13:54 | Lien sur le premier champ de la liste check-in: 4d805fc2bf user: bohwaz tags: dev | |
13:54 | Correction filtrage liste plugins check-in: 50e72bff3f user: bohwaz tags: dev | |
2018-09-13
| ||
22:21 | Utilisation de safe_unlink/safe_mkdir partout check-in: 85d5a50a94 user: bohwaz tags: dev | |
Changes
Modified src/include/lib/Garradin/Plugin.php from [e947eb781e] to [3309a9934c].
︙ | ︙ | |||
406 407 408 409 410 411 412 413 414 415 416 417 418 419 | $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; | > | 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 | $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 unset($list[$id]); continue; } if (!$row->menu_condition) { $row = $row->nom; continue; |
︙ | ︙ |