GitHub repository: wikimedia-gadgets/libSettings
Primary language: JavaScript
Description: Wikipedia gadget library to easily have settings in a script