Merge pull request #5321 from timvandermeij/misc-fixes

Fixes milestones link in README.md and adds pdfBugEnabled to the Chrome extension preferences

README.md

@@ -15,7 +15,7 @@ get involved checkout:
 + [Style Guide](https://github.com/mozilla/pdf.js/wiki/Style-Guide)
 + [FAQ](https://github.com/mozilla/pdf.js/wiki/Frequently-Asked-Questions)
 + [Good Beginner Bugs](https://github.com/mozilla/pdf.js/issues?direction=desc&labels=5-good-beginner-bug&page=1&sort=created&state=open)
-+ [Priorities](https://github.com/mozilla/pdf.js/issues/milestones)
++ [Priorities](https://github.com/mozilla/pdf.js/milestones)
 + [Attend a Public Meeting](https://github.com/mozilla/pdf.js/wiki/Weekly-Public-Meetings)
 
 For further questions or guidance feel free to stop by #pdfjs on

extensions/chromium/preferences_schema.json

@@ -38,6 +38,12 @@
       "type": "boolean",
       "default": false
     },
+    "pdfBugEnabled": {
+      "title": "Enable debugging tools",
+      "description": "Whether to enable debugging tools.",
+      "type": "boolean",
+      "default": false
+    },
     "disableRange": {
       "title": "Disable range requests",
       "description": "Whether to disable range requests (not recommended).",