Peter Snyder 0d6e941dd1 delete global WEB_API_MANAGER_PAGE property from page DOM once we're done with it, which should be the last remnant of the extension in the page script.		2017-10-17 15:00:52 -05:00
..
dist	update gulp file to build the content_scripts/dist/* code, to make the injected code easier to edit	2017-10-13 02:32:41 -05:00
src	delete global WEB_API_MANAGER_PAGE property from page DOM once we're done with it, which should be the last remnant of the extension in the page script.	2017-10-17 15:00:52 -05:00