2 commits

Author	SHA1	Message	Date
matthew	120cdb49a6	Added $user_config global based on existing config object for storing user-specific settings. ... Added event to the user page so that extensions can hook into it, providing user-specific setting controls	2019-09-29 14:19:52 +01:00
Matthew Barbour	de98e86938	ExtensionInfo conversions what have I done	2019-08-07 15:40:01 -05:00