En el mundo de PHP a los plugins se denomina extensiones