Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[fix] bootstrap: fix for twitter bootstrap css import links

  • Loading branch information...
commit f43b48f523a8bc153439f544ec204685bdba16b7 1 parent 5b59867
@Aqua-Ye Aqua-Ye authored BourgerieQuentin committed
Showing with 6 additions and 4 deletions.
  1. +6 −4 stdlib/themes/bootstrap/core/core.opa
View
10 stdlib/themes/bootstrap/core/core.opa
@@ -584,10 +584,12 @@ _ = Client_code.register_css_declaration([icon16,icon32])
@private
compute_version_url(v:string) =
- // Old URL
- if String.le(v, "1.2.0") then "http://twitter.github.com/bootstrap/assets/css/bootstrap-{v}.min.css"
- // New URL
- else "http://twitter.github.com/bootstrap/{v}/bootstrap.min.css"
+ if String.le(v, "1.2.0") then
+ "https://raw.github.com/twitter/bootstrap/v{v}/bootstrap-{v}.min.css"
+ else if String.le(v, "1.4.0") then
+ "http://twitter.github.com/bootstrap/{v}/bootstrap.min.css"
+ else
+ "http://twitter.github.com/bootstrap/assets/css/bootstrap.css"
@private
version = ServerReference.create("1.1.1") : reference(string)
Please sign in to comment.
Something went wrong with that request. Please try again.