Identifying a bug in WPIDE Plugin

We have identified and reported a compatibility bug with WPIDE plugin and PHP v8.1.