Gadgets-definition

editing

• syntaxhighlight [ ResourceLoader | default ] | syntaxhighlight.js | syntaxhighlight.css

other

• darkmobile [ ResourceLoader | default | hidden | type=css | targets=mobile ] | darkmobile.css