[
    "jquery.js",
    "phonebook.js",
    "seedrandom.js",
    "serviceworker.js",
    "startswith.js",
    "csv.js",
    "keyboard.js",
    "statistics.js",
    "feedback.js",
    "details.js",
    "details_autoexpand.js"
]