passage en 4.7.2 + is_utf8 en isutf8 et mise à jour de plugins/plugin.php...

passage en 4.7.2 + is_utf8 en isutf8 et mise à jour de plugins/plugin.php (pour les 2 autres, je n'ai pas trouvé de repository les contenant, et je ne sais pas comment les tester)