file js: window.onload = function () { var url = window.location.pathname; var id = url.substring(url.lastIndexOf('/') + 1); $(document).ready(funct
jacoco-plugin
slack
kotlin-dokka
vscode-settings
messagebox
template-strings
nio
google-maps-flutter
upvar
reinstall
byte-order-mark
udpclient
selection-sort
patternlab.io
form-editing
aspect-fit
pax-exam
moodle-theme
delay
ldap
cascade-notation
amazon-ami
codemirror-modes
ibm-sterling
gstring
livy
inequalities
softirq
image-rendering
coderunner