Documented EventDispatcher.js and PageVisibility.js