mozilla/pdf.js — pull request #5441 by Snuffleupagus (2014-10-24 11:16:28+00:00)
Title: Remove custom |pagerender| event from page_view.js

The custom `pagerender` event in page_view.js is not used anywhere in the codebase.
PR #5295 introduced the (in my opinion) better named `pagerendered` event, which is placed in pdf_viewer.js and is actually being used.
Hence this patch remove `pagerender`, since I believe it to be unnecessary code duplication.