gwtbootstrap3/gwtbootstrap3 — pull request #94 by ArloL (2014-03-30 20:43:14+00:00)
Title: Make PanelHeader implement HasWidgets because it allows child widgets

This PR adds the HasWidgets interface to PanelHeader before HasText. Therefore we can start using GWT's HasText and not break the demo as [reported](https://github.com/gwtbootstrap3/gwtbootstrap3/commit/732171fef99b4c282e2ee60d6889ed35d5041731#comments).