sorry, stupid question, but i can't find anywhere. for debian 12, the default php version to use is 8.2, right? ty