You might check that in the ispconfig database directly, all websites are in the web_domain table and there is a column for the additional PHP versions.