Fixes #5360: Added back BootstrapThemeAsset.