extract djvu text (bug 18046); escape possible script with htmlspecialchars instead...
authorThomasV <thomasv@users.mediawiki.org>
Wed, 29 Apr 2009 19:33:57 +0000 (19:33 +0000)
committerThomasV <thomasv@users.mediawiki.org>
Wed, 29 Apr 2009 19:33:57 +0000 (19:33 +0000)
commit7a605cce46eb688dfb697487a1b1d300bef4361c
tree3570753baa7612187fbc5103c6f09bde9f23ec8b
parent25adbca57a5c7ee5f79897c374f1f2feefe6f8db
extract djvu text (bug 18046); escape possible script with htmlspecialchars instead of sed
includes/DefaultSettings.php
includes/media/DjVu.php