Benjamin Lees wrote:
2) the update
instructions say I might not have an AdminSettings.php file
but later say I must have one and it's used in the update.php command line.
I don't have one for my v1.14.0 mediawiki so do I need this and if not what
is the command for running update without it please?
You won't have it if you haven't upgraded before; you'll need to
either create it (copy AdminSettings.sample to AdminSettings.php and
then edit it) or just define $wgDBadminuser and $wgDBadminpassword in
LocalSettings.php.
In fact, AdminSettings.php is not needed for latest mediawiki versions.
It will try to update with the normal db user (which should then have
enough permissions to do so, of course).