Ilias Enhancement Suite
Enhance Ilias with useful features to boost your productivity.
什么是Ilias Enhancement Suite？
Ilias Enhancement Suite是由Robijns Industries Incorporated Enterprises开发的Chrome扩展程序，该扩展的主要功能是“Enhance Ilias with useful features to boost your productivity.”。
扩展截图
下载Ilias Enhancement Suite扩展crx文件
下载Ilias Enhancement Suite扩展crx格式的文件，手动将Chrome插件安装到浏览器中，也可以将crx文件分享给朋友，轻松安装Chrome插件。
扩展使用说明
Credits: Michel Robijns & Nate Mara (+ Jan Pascual)
Features:
• Keyboard shortcuts (see below)
• Reduced loading time
• Improved legibility
• Intermediate score counter
• Icons for (in)correctly answered questions
• Markers for later reference
• Filter incorrect answers
Keyboard shortcuts:
• Select checkboxes using NUMBER keys
• Check answer using ENTER key
• Proceed to next question using ENTER key
• Brows through questions using ARROW keys
• Mark questions using ^ or + key
Disclaimer: the software is provided "as is", without warranty of any kind :) 扩展基本信息
| 名称 |  Ilias Enhancement Suite |
| ID | fdcheblbmogdaafjcijiknddflnglpnn |
| 官方URL | https://chromewebstore.google.com/detail/ilias-enhancement-suite/fdcheblbmogdaafjcijiknddflnglpnn |
| 简介 | Enhance Ilias with useful features to boost your productivity. |
| 文件大小 | 102 KB |
| 安装次数 | 40 |
| 当前版本 | 1.1.1 |
| 更新时间 | 2020-02-29 |
| 上架时间 | 2020-02-29 |
| 评分 | 5.00/5 共5次评分 |
| 开发者 | Robijns Industries Incorporated Enterprises |
| 付费类型 | free |
| 支持的语言 | en |
| manifest.json | |
{
"update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
"manifest_version": 2,
"name": "Ilias Enhancement Suite",
"short_name": "IES",
"description": "Enhance Ilias with useful features to boost your productivity.",
"version": "1.1.1",
"content_scripts": [
{
"matches": [
"https:\/\/lms.cstberlin.de\/*"
],
"js": [
"jquery-3.4.1.min.js",
"interface.js",
"list_modification.js",
"utilities.js",
"storage.js",
"keyboard_events.js",
"buttons.js",
"content.js"
],
"run_at": "document_idle"
}
],
"background": {
"scripts": [
"background.js"
],
"persistent": false
},
"permissions": [
"storage"
],
"icons": {
"16": "favicon-16x16.png",
"32": "favicon-32x32.png",
"180": "favicon-180x180.png",
"192": "favicon-192x192.png",
"512": "favicon-512x512.png"
}
} | |
