Sujet : Bug potentiel sur PHP_VERSION_ID
Est-ce que ça renvoit quelque chose de cool pour PHP 5.2.11 par exemple ? Je ne pense pas.
!defined('PHP_VERSION_ID') and $v = PHP_VERSION
and define('PHP_VERSION_ID', $v{0} * 10000
+ $v{2} * 100
+ $v{4});PS : accessoirement, remplacer les {} par [] ça ferait du bien aussi ! ^^