commandLine.inc has

$IP = realpath( dirname( $self ) . '/..' );

which perhaps(?) causes the maintenance scripts to always use realpath
when looking for LocalSettings.php, whereas entering via index.php,
one would be following symlinks, if any, to a possibly different
LocalSettings.php! Yes, then one would need Setup.php etc. But still,
what a surprise. No more symlinks for me.

Version: 1.7.x
Severity: minor
OS: Linux
Platform: PC