mozilla/pdf.js — pull request #1915 by brendandahl (2012-07-20 16:11:21+00:00)
Title: Don't trigger TODO on marked content.

Marked content can be safely ignored for now.

Closes #1842