Make sync-dblist report done, don't echo mediawiki-installation

Ported from https://gerrit.wikimedia.org/r/#/c/110092

Change-Id: If56e8b311ec7d5cb7ce30c25ec04a73dc4aafd3e