jidanni(a)jidanni.org wrote:
Several maintenance scripts wish to use the URL of the
server,
[...]
Would the solution be to officially say that if the
user intends to use
maintenance scripts, he should have something like
https://bugzilla.wikimedia.org/show_bug.cgi?id=18274#c6
in LocalSettings.php?
Why not put the server URL into AdminSettings.php where all the other
maintenance script info goes? No sense using LocalSettings.php for nothing.
Mike