maintenance: Document secondary purpose of --server
authorTimo Tijhof <krinklemail@gmail.com>
Tue, 27 Mar 2018 01:27:24 +0000 (18:27 -0700)
committerTimo Tijhof <krinklemail@gmail.com>
Tue, 27 Mar 2018 01:27:24 +0000 (18:27 -0700)
commitaf46a3351c0a392f9d8e14291bd622475d1ec33c
treeaa7821541e857fbc4e70045d28c0813828bd6d06
parent71a653a495cf2de243ff25d5941ae708f0e43a80
maintenance: Document secondary purpose of --server

Follows-up to 2de3bf45d12d8. That commit references "Wikimedia Method"
of https://www.mediawiki.org/wiki/Manual:Wiki_family. This is slightly
confusing given that page explicitly states that hostname-based detection
is only used on the web server, with code for MW_DB and --wiki in place.

Nonetheless, despite this being seemingly unused, unadvertised
and undocumented, if we're going to support this, we might as well
document what its for, to avoid it being removed without notice in
the future.

Change-Id: I9ff333b6e9f15cfe4de21ef01a47931dd73d297e
maintenance/Maintenance.php