From 6d8adb31ad5c4c9ed44b7ff3b1bff453a9e96411 Mon Sep 17 00:00:00 2001
From: Mohamed Baig <mohamed.b.baig@gmail.com>
Date: Wed, 25 Mar 2015 00:34:42 -0400
Subject: [PATCH] Added the data-page-number dom attribute to the page rendered
 in the browser

Added data-page-id attribute to page container divs

Updated the attribute with a better label
---
 web/pdf_page_view.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/pdf_page_view.js b/web/pdf_page_view.js
index 8e49cbaf6..7e558ad7a 100644
--- a/web/pdf_page_view.js
+++ b/web/pdf_page_view.js
@@ -80,6 +80,7 @@ var PDFPageView = (function PDFPageViewClosure() {
     div.className = 'page';
     div.style.width = Math.floor(this.viewport.width) + 'px';
     div.style.height = Math.floor(this.viewport.height) + 'px';
+    div.setAttribute('data-page-number', this.id);
     this.div = div;
 
     container.appendChild(div);