Overview
SHA1:d0bdd730fa1cf0ba6390bc518c2f993600a9ee58
Date: 2018-10-09 17:23:07
User: bohwaz
Comment:Ne pas chercher à installer les plugins si la chaîne est vide
Timelines: family | ancestors | descendants | both | dev
Downloads: Tarball | ZIP archive
Other Links: files | file ages | folders | manifest
Tags And Properties
Context
2018-10-13
00:00
[6b75fcbeef] Correction export compta patch de @Arnaud (user: bohwaz, tags: dev)
2018-10-09
17:23
[d0bdd730fa] Ne pas chercher à installer les plugins si la chaîne est vide (user: bohwaz, tags: dev)
17:16
[d4adacc0fb] Ajout fichiers oubliés, sortie de la 0.9.0-rc1 (user: bohwaz, tags: dev)
Changes

Modified src/include/lib/Garradin/Plugin.php from [3309a9934c] to [d351935f52].

367
368
369
370
371
372
373





374
375
376
377
378
379
380

	/**
	 * Vérifie que les plugins système sont bien installés et sinon les réinstalle
	 * @return void
	 */
	static public function checkAndInstallSystemPlugins()
	{





		$system = explode(',', PLUGINS_SYSTEM);

		if (count($system) == 0)
		{
			return true;
		}








>
>
>
>
>







367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385

	/**
	 * Vérifie que les plugins système sont bien installés et sinon les réinstalle
	 * @return void
	 */
	static public function checkAndInstallSystemPlugins()
	{
		if (!PLUGINS_SYSTEM)
		{
			return true;
		}

		$system = explode(',', PLUGINS_SYSTEM);

		if (count($system) == 0)
		{
			return true;
		}