Florian Müllner 6a4c55b852 extensionSystem: Make methods to call extension functions private
While public methods to enable/disable extensions make sense for an
extension manager, the existing ones are only used internally. Make
them private and rename them, so that we can re-use the current
names for more useful public methods.

https://bugzilla.gnome.org/show_bug.cgi?id=789852
2019-07-20 14:17:35 +00:00
..
2019-07-12 18:54:49 +00:00
2019-07-01 23:44:11 +02:00
2019-07-02 12:17:46 +00:00
2019-07-05 11:32:31 +00:00
2019-07-20 14:17:35 +00:00
2019-07-05 11:32:31 +00:00
2019-07-02 12:17:46 +00:00
2019-07-05 11:32:31 +00:00
2019-07-01 23:44:11 +02:00
2019-07-05 11:32:31 +00:00
2019-07-05 11:32:31 +00:00
2019-07-02 12:17:46 +00:00
2019-07-05 11:32:31 +00:00
2019-07-01 23:44:11 +02:00
2019-07-01 23:44:11 +02:00
2019-07-05 11:32:31 +00:00
2019-07-01 23:44:10 +02:00
2019-07-02 12:17:46 +00:00