diff --git a/web/pdf_link_service.js b/web/pdf_link_service.js index 8f8f17b1a..7dd7478d0 100644 --- a/web/pdf_link_service.js +++ b/web/pdf_link_service.js @@ -270,9 +270,15 @@ var PDFLinkService = (function PDFLinkServiceClosure() { mode: params.pagemode }); } - } else if (isPageNumber(hash)) { // Page number. - this.page = hash | 0; } else { // Named (or explicit) destination. + if ((typeof PDFJSDev === 'undefined' || PDFJSDev.test('GENERIC')) && + isPageNumber(hash) && hash <= this.pagesCount) { + console.warn('PDFLinkService_setHash: specifying a page number ' + + 'directly after the hash symbol (#) is deprecated, ' + + 'please use the "#page=' + hash + '" form instead.'); + this.page = hash | 0; + } + dest = unescape(hash); try { dest = JSON.parse(dest);