matthew 0fa2adfdd5 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-08-07 15:50:02 -05:00
..
2019-08-05 09:00:23 -05:00
2019-07-07 15:57:06 +01:00
2019-07-08 08:07:02 -05:00
2019-07-05 17:41:29 +01:00
2019-08-05 09:00:23 -05:00
2019-06-14 13:47:50 +01:00
2019-08-05 09:03:49 -05:00
2019-08-05 09:00:23 -05:00