4 <meta name="viewport" content="user-scalable=no, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0, width=device-width">
5 <title>Extensions Settings</title>
6 <link rel="stylesheet" type="text/css" href="css/style.css">
7 <link rel="stylesheet" type="text/css" href="css/button.css">
8 <script src='src/was_key_event_handler.js'></script>
12 <div class='title'>WebApp Addon Settings</div>
13 <div id='repoDiv' class='extList'></div>
14 <div id='serverrepoDiv' class='extList'>
15 <table id = 'repoTable'></table>
17 <div id='extDiv' class='extList'></div>
18 <script src='src/main.js'></script>