mozilla-prefer_plugin_pref.patch
changeset 733 b2202fea7983
parent 650 e8c83b144fd1