Merge pull request #7749 from Snuffleupagus/PDFLinkService_setHash-dest-fallback

Avoid accidentally rejecting a named destination that looks like a decimal number or a boolean (PR 7341 follow-up)

web/pdf_link_service.js

@@ -264,6 +264,12 @@ var PDFLinkService = (function PDFLinkServiceClosure() {
         dest = unescape(hash);
         try {
           dest = JSON.parse(dest);
+
+          if (!(dest instanceof Array)) {
+            // Avoid incorrectly rejecting a valid named destination, such as
+            // e.g. "4.3" or "true", because `JSON.parse` converted its type.
+            dest = dest.toString();
+          }
         } catch (ex) {}
 
         if (typeof dest === 'string' || isValidExplicitDestination(dest)) {