Sebastian Huber 80df4d6a47 c-user: Split up user extensions manager
This makes it easier to automatically generate parts of the manager
documentation in the future.

Update #3993.
2020-09-02 17:59:05 +02:00
..
2020-09-02 17:53:55 +02:00
2020-09-02 17:53:57 +02:00
2020-09-02 17:53:32 +02:00
2020-09-02 17:55:00 +02:00
2020-09-02 17:55:06 +02:00
2020-09-02 17:57:10 +02:00
2020-09-02 17:57:38 +02:00
2020-09-02 17:58:03 +02:00
2020-09-02 17:58:31 +02:00
2019-02-08 09:43:16 +01:00
2020-06-30 09:02:46 +02:00
2019-02-08 09:43:16 +01:00