This can be removed, I think. Nothing here uses the Bootstrap javascript controls, AFAIK.