jidanni@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