Fixed issue #07740: Plugin Manager breaks compatibility PHP 5.2