This was left over when bootstrap-wysihtml5 was removed.
Merge pull request #963 from mbertheau/remove-rest-of-bootstrap-wysihtml5

This was left over when bootstrap-wysihtml5 was removed.