New plugin id can not be guessed in db cluster

[dennis531]

Version
3.25

Describe the bug
The new plugin id of OpencastV3 can not be guessed in

studip-opencast-plugin/migrations/096_fix_v3.php

Line 29 in fa80ee1

$new_plugin_id = $db->query("SELECT MAX(pluginid) FROM plugins")->fetchColumn() + 1;

as the cluster doesn't simply increment the id by one, see https://stackoverflow.com/a/23022736.

[tgloeggl]

Bessere Methode verwenden, um nächsten Wert zu bekommen.

• Eventuell direkt im Datenbankschema ermitteln?
• Oder doch besser NACH der Installation eine separate Aktion ausführen (lassen), durch den Admin?