Patched as per workaround https://github.com/twitter/bootstrap/issues/4550#issuecomment-7987654 , minified using uglifyjs just like the original is