Bug 1247056 - Show notification when PulseAudio cannot be used - r=gijs

MozReview-Commit-ID: 4q4CLb9VjcU

--HG--
extra : histedit_source : db594819a7ecf0ff51c922b872732689bd352441

browser/base/content/browser-media.js

@@ -231,6 +231,9 @@ let gDecoderDoctorHandler = {
         return gNavigatorBundle.getString("decoder.noCodecsLinux.message");
       }
     }
+    if (type == "cannot-initialize-pulseaudio") {
+      return gNavigatorBundle.getString("decoder.noPulseAudio.message");
+    }
     return "";
   },
 
@@ -241,6 +244,9 @@ let gDecoderDoctorHandler = {
         return "fix-video-audio-problems-firefox-windows";
       }
     }
+    if (type == "cannot-initialize-pulseaudio") {
+      return "fix-common-audio-and-video-issues";
+    }
     return "";
   },
 

browser/locales/en-US/chrome/browser/browser.properties

@@ -734,6 +734,7 @@ decoder.noCodecsXP.message = To play video, you may need to enable Adobe’s Pri
 decoder.noCodecsLinux.message = To play video, you may need to install the required video codecs.
 decoder.noHWAcceleration.message = To improve video quality, you may need to install Microsoft’s Media Feature Pack.
 decoder.noHWAccelerationVista.message = To improve video quality, you may need to install Microsoft’s Platform Update Supplement for Windows Vista.
+decoder.noPulseAudio.message = To play audio, you may need to install the required PulseAudio software.
 
 permissions.remove.tooltip = Clear this permission and ask again