diff --git a/configuration/firefox/configuration.properties b/configuration/firefox/configuration.properties index 6bb386a..d922e2e 100644 --- a/configuration/firefox/configuration.properties +++ b/configuration/firefox/configuration.properties @@ -1,3 +1,3 @@ common.prefix=chrome://web-developer/content description=Adds a menu and a toolbar with various web developer tools. -version=1.2.8 +version=1.2.10 diff --git a/configuration/firefox/install.rdf b/configuration/firefox/install.rdf index 857dcd6..befb472 100644 --- a/configuration/firefox/install.rdf +++ b/configuration/firefox/install.rdf @@ -48,7 +48,7 @@ {ec8030f7-c20a-464f-9b0e-13a3a9e97384} - 47.* + 49.* 3.6 diff --git a/gulp/firefox.js b/gulp/firefox.js index 29edf03..a774726 100644 --- a/gulp/firefox.js +++ b/gulp/firefox.js @@ -143,10 +143,7 @@ gulp.task("build-firefox-dashboard", function() gulp.src(["source/common/style-sheets/dashboard/common.css", "source/firefox/style-sheets/dashboard/html/common.css"]) .pipe(plugins.concat("common.css")) .pipe(gulp.dest("build/firefox/content/web-developer/dashboard")), - gulp.src("source/firefox/style-sheets/dashboard/dashboard.css") - .pipe(gulp.dest("build/firefox/content/web-developer/dashboard")), - gulp.src(["source/common/style-sheets/dashboard/element-information.css", "source/firefox/style-sheets/dashboard/html/element-information.css"]) - .pipe(plugins.concat("element-information.css")) + gulp.src(["source/common/style-sheets/dashboard/element-information.css", "source/firefox/style-sheets/dashboard/dashboard.css"]) .pipe(gulp.dest("build/firefox/content/web-developer/dashboard")), gulp.src(["source/common/style-sheets/generated/common.css", "source/firefox/style-sheets/dashboard/html/style-information.css"]) .pipe(plugins.concat("style-information.css")) diff --git a/source/chrome/html/options/options.html b/source/chrome/html/options/options.html index f0ab048..6908ce2 100644 --- a/source/chrome/html/options/options.html +++ b/source/chrome/html/options/options.html @@ -13,7 +13,7 @@