Wrap filters, options and buttons with extra div (#15362).
Authored by: jplang 2014-01-11
Parent: [r12644]
Child: [r12646]