cubicweb-bootstrap #4487590 separators inside menus are huge [validation pending]

They use a <hr/> instead of Bootstrap's <li class="divider"></li>.

prioritynormal
typebug
done in0.6.5
load0.500
load left0.000
closed by#aad6255bdae6 [htmlwidgets] Properly monkeypatch Separator instead of creating a stand-alone class (closes #4487590)
patch[htmlwidgets] Properly monkeypatch Separator instead of creating a stand-alone class (closes #4487590) [applied]