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: c3541ceb638df29894950c6b34e3a55cb2a9d893
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
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-z0-9_.-]+)\.tar\.gz$!', $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);
		}







|







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);
		}