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

..

events.php

Added $user_config global based on existing config object for storing user-specific settings.

2019-09-29 14:19:52 +01:00

info.php

ExtensionInfo conversions what have I done

2019-08-07 15:40:01 -05:00

main.php

Added $user_config global based on existing config object for storing user-specific settings.

2019-09-29 14:19:52 +01:00

test.php

PSR-2. I'm not a huge fan, but ugly consistency beats no consistency...

2019-05-28 17:59:38 +01:00

theme.php

Added $user_config global based on existing config object for storing user-specific settings.

2019-09-29 14:19:52 +01:00