Letzteres macht allerdings noch Zicken, weil es keine Berichte mehr erstellen und anzeigen kann. Darin wären aber Prüfabfragen gewesen, welche mir bei der Bewertung der Lage helfen würden.
Die Einzeldatenbank phppgadmin wurde beim Übernehmen anscheinend vollzählig wiederhergestellt; die Tabelle ppa_reports enthielt und enthält immer noch 37 Zeilen mit plausiblem Inhalt. Leider bleiben diese aber alle unsichtbar und auch die Schaltfläche für Berichte ist nirgends zu sehen. Die Suchmaschine meines Vertrauens riet mir, in der Datei config.inc.php folgende Zeilen zu ergänzen:
Code: Alles auswählen
// Display reports feature? For this feature to work, you must
// install the reports database as explained in the INSTALL file.
$conf['show_reports'] = true;
// Database and table for reports
$conf['reports_db'] = 'phppgadmin';
$conf['reports_schema'] = 'public';
$conf['reports_table'] = 'ppa_reports';
Was mich dabei noch irritiert hat: daß die Musterdatei, so wie ich sie nach frischer Installation von phppgadmin vorfand, diesen Parameter überhaupt nicht enthielt.