[facet html] Add surrounding div with "facetBody" class to "has_text" facet. This makes its html structure consistent with the other facets and fixes both css and a javascript behaviour (hide the facet body when clicking on its title). Closes #3797501.

     1

#! /bin/sh -e

     2

#

     3

     4

if [ "$1" = remove -o "$1" = upgrade ]; then

     5

  if which install-docs >/dev/null 2>&1; then

     6

    install-docs -r cubicweb-doc

     7

  fi

     8

fi

     9

    10

#DEBHELPER#

    11

    12

exit 0