crawljax/crawljax — pull request #98 by alirezazarei (2013-01-09 22:34:41+00:00)
Title: DOM Change Notifier Plug-in Point

Adding DOM change notifier plug-in point so that Crawljax can be extended by users in case they would like to implement their own versions of dom change tracking mechanisms.