mediawiki: Run update script after initializing the database

This commit is contained in:
Shea Levy 2014-02-10 08:56:16 -05:00
parent e5017d8239
commit 42df6fcee9

View file

@ -290,6 +290,7 @@ in
echo COMMIT
) | ${pkgs.postgresql}/bin/psql -U "${config.dbUser}" "${config.dbName}"
fi
${php}/bin/php ${mediawikiRoot}/maintenance/update.php
'');
robotsEntries = optionalString (config.articleUrlPrefix != "")