Am 30.01.2014 17:15, schrieb Jeroen De Dauw:
Hey,
It has long since been clear it is harmful to add configuration into WikibaseLib. It is a library, not an application, and its users might well want to use it with different config.
This means that no additional entries should be added to WikibaseLib.default.php, and that commits that do should not be merged.
I see your point (library code should not access Settings objects, but use explicit parameters), but this will make it difficult to manage settings shared by repo and client in a single place. Having these in one place makes sure they are consistent, which is especially important when running both repo and client on the same wiki.
Do you have a suggestion how to solve this? We have had different saettigns for the same thing in repo and client before, I would like to avoid this in the future.
-- daniel