Searched refs:EXTENSION_OPTIONS_PAGE (Results 1 – 1 of 1) sorted by relevance
15 EXTENSION_OPTIONS_PAGE = 'options.html' variable130 CHROME_EXTENSION_BASE, extension_id, EXTENSION_OPTIONS_PAGE)