Padre-Plugin-PHP is a Padre repository