[00:09:28] Thank you! I forgot the access section and it works. [00:11:41] although a reminder, that if you use push it won't be visible in gerrit [08:18:24] Hello [08:18:45] How can I install the image using maintenance/run? [08:20:03] When I attempt it, I get ; I don't know how to deal with the last two errors. I'm executing in a shell this: [10:45:00] Okay I figured out some things [10:45:42] I was able to install mediawiki from the docker container, and I have a LocalSettings.php now. I also copied the LDAPProvider extension under /var/www/html/extensions and executed `maintenance/run update`. [10:46:05] (I also loaded the extension in LocalSettings.php.) But how do I configure LDAPProvider now?