Fixes #5042: Include jquery-ui tabs directly to fix tabs
Merge pull request #550 from VinceMacBuche/bug_5042/fix_tabs_js

Fixes #5042: Include jquery-ui tabs directly to fix tabs