Un nouveau dépôt pour le projet PHP-GTK

Bien que le site principal de PHP-GTK sur http://gtk.php.net/ n'en fasse pas (encore ?) mention, le développement de PHP-GTK est toujours actif, mais se déroule dorénavant sur une infrastructure plus récente, ayant migré vers Github comme nombre d'autres projets.