Overview
Comment: | Correction : gérer les noms de plugins en majuscules (signal par @Youssef) |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | dev |
Files: | files | file ages | folders |
SHA1: |
c3541ceb638df29894950c6b34e3a55c |
User & Date: | bohwaz on 2017-06-08 03:40:00 |
Other Links: | branch diff | manifest | tags |
Context
2017-06-08
| ||
05:37 | Utilisation de KD2\Translate pour obtenir la liste des pays check-in: 1c1f650b03 user: bohwaz tags: dev | |
03:40 | Correction : gérer les noms de plugins en majuscules (signal par @Youssef) check-in: c3541ceb63 user: bohwaz tags: dev | |
2017-06-06
| ||
00:01 | DB: Forcer la fin des transactions en cas de crash du script pour empêcher de crasher la DB check-in: 0bd6e3acda user: bohwaz tags: dev | |
Changes
Modified src/include/lib/Garradin/Plugin.php from [8256935348] to [12a29cbd97].
︙ | ︙ | |||
343 344 345 346 347 348 349 | $dir = dir(PLUGINS_ROOT); while ($file = $dir->read()) { if (substr($file, 0, 1) == '.') continue; | | | 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 | $dir = dir(PLUGINS_ROOT); while ($file = $dir->read()) { if (substr($file, 0, 1) == '.') continue; if (!preg_match('!^([a-zA-Z0-9_.-]+)\.tar\.gz$!i', $file, $match)) continue; if (array_key_exists($match[1], $installed)) continue; $list[$match[1]] = (object) parse_ini_file('phar://' . PLUGINS_ROOT . '/' . $match[1] . '.tar.gz/garradin_plugin.ini', false); } |
︙ | ︙ |