Overview
Comment:Accepter les points dans les noms de plugins
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: ea95d5d4782d26e93a57e5924fe35c34e8314c72
User & Date: bohwaz on 2014-04-01 18:35:55
Other Links: manifest | tags
Context
2014-04-07
16:09
Correction export des membres check-in: b46f155397 user: bohwaz tags: trunk
2014-04-01
18:35
Accepter les points dans les noms de plugins check-in: ea95d5d478 user: bohwaz tags: trunk
18:33
Archives .tar.gz plutôt que .phar check-in: 4b166c4876 user: bohwaz tags: trunk
Changes

Modified src/include/class.plugin.php from [247fc79739] to [82910e8d1d].

273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
		$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]] = parse_ini_file('phar://' . PLUGINS_ROOT . '/' . $match[1] . '.tar.gz/garradin_plugin.ini', false);
		}







|







273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
		$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]] = parse_ini_file('phar://' . PLUGINS_ROOT . '/' . $match[1] . '.tar.gz/garradin_plugin.ini', false);
		}