Benjamin Lees wrote:
- 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).