1 <!DOCTYPE HTML> 2 <html i18n-values="dir:textdirection;highlight:highlightStrength"> 3 <head> 4 <link rel="stylesheet" href="chrome://resources/css/chrome_shared.css"> 5 <link rel="stylesheet" href="chrome://resources/css/list.css"> 6 <link rel="stylesheet" href="chrome://resources/css/widgets.css"> 7 8 <link rel="stylesheet" href="../options/options_page.css"> 9 <link rel="stylesheet" href="../options/chromeos/internet_detail.css"> 10 <link rel="stylesheet" href="proxy_settings.css"> 11 <script src="chrome://resources/js/cr.js"></script> 12 <script src="chrome://resources/js/event_tracker.js"></script> 13 <script src="chrome://resources/js/cr/event_target.js"></script> 14 <script src="chrome://resources/js/cr/ui.js"></script> 15 <script src="chrome://resources/js/cr/ui/touch_handler.js"></script> 16 <script src="chrome://resources/js/cr/ui/array_data_model.js"></script> 17 <script src="chrome://resources/js/cr/ui/list_selection_model.js"></script> 18 <script src="chrome://resources/js/cr/ui/list_selection_controller.js"></script> 19 <script src="chrome://resources/js/cr/ui/list_single_selection_model.js"></script> 20 <script src="chrome://resources/js/cr/ui/list_item.js"></script> 21 <script src="chrome://resources/js/cr/ui/list.js"></script> 22 <script src="chrome://resources/js/load_time_data.js"></script> 23 <script src="chrome://resources/js/local_strings.js"></script> 24 <script src="chrome://resources/js/util.js"></script> 25 26 <script src="../options/preferences.js"></script> 27 <script src="../options/pref_ui.js"></script> 28 <script src="../options/options_page.js"></script> 29 <script src="../options/chromeos/internet_detail.js"></script> 30 <script src="../options/chromeos/proxy_rules_list.js"></script> 31 <script src="keyboard/keyboard_utils.js"></script> 32 33 <script src="proxy_settings.js"></script> 34 </head> 35 36 <body i18n-values=".style.fontFamily:fontfamily;.style.fontSize:fontsize"> 37 <include src="../options/chromeos/internet_detail.html"> 38 </body> 39 </html> 40
