Mantellinae is a subfamily of frogs in the family Mantellidae .
Mantellinae is a subfamily of frogs . They are part of the family Mantellidae .