Overview
SHA1:f38e28c8572ac632144a097d2271c9a5356424a2
Date: 2018-08-18 13:38:16
User: bohwaz
Comment:Réinstalle / met à jour les plugins si nécessaire après mise à jour de Garradin
Timelines: family | ancestors | descendants | both | dev
Downloads: Tarball | ZIP archive
Other Links: files | file ages | folders | manifest
Tags And Properties
Context
2018-08-18
13:38
[883448f7b5] Met à jour les infos du plugin et notamment menu_condition lors de la mise à jour du plugin (user: bohwaz, tags: dev)
13:38
[f38e28c857] Réinstalle / met à jour les plugins si nécessaire après mise à jour de Garradin (user: bohwaz, tags: dev)
13:12
[65f7b258f5] Fix typos (user: bohwaz, tags: dev)
Changes

Modified src/www/admin/upgrade.php from [aabbe0eeed] to [9150b46456].

343
344
345
346
347
348
349














350
351
352
353
354
355
356
}

Utils::clearCaches();

$config->setVersion(garradin_version());

Static_Cache::remove('upgrade');















echo '<h2>Mise à jour terminée.</h2>
<p><a href="'.ADMIN_URL.'">Retour</a></p>';

if ($redirect)
{
    echo '







>
>
>
>
>
>
>
>
>
>
>
>
>
>







343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
}

Utils::clearCaches();

$config->setVersion(garradin_version());

Static_Cache::remove('upgrade');

Plugin::checkAndInstallSystemPlugins();

foreach (Plugin::listInstalled() as $id=>$infos)
{
    $plugin = new Plugin($id);

    if ($plugin->needUpgrade())
    {
        $plugin->upgrade();
    }

    unset($plugin);
}

echo '<h2>Mise à jour terminée.</h2>
<p><a href="'.ADMIN_URL.'">Retour</a></p>';

if ($redirect)
{
    echo '