Bootstrap error: Unable to resolve plugin "useragent"; no corresponding plugin with that name

[adli]

I am not sure why this issue Issue #92 that was reported in 2020 was closed, as the problem is still there,

the problem was initiated in this commit

PHP Fatal error: Uncaught Zend_Application_Bootstrap_Exception: Unable to resolve plugin "useragent"; no corresponding plugin with that name in /usr/share/php/vendor/shardj/zf1-future/library/Zend/Application/Bootstrap/BootstrapAbstract.php:332

I have the following lines in the application.ini

; Zend UserAent settings
resources.useragent.storage.adapter = "Session"
resources.useragent.wurflapi.wurfl_api_version = "1.1"
resources.useragent.wurflapi.wurfl_lib_dir = APPLICATION_PATH "/../library/wurfl-php-1.3.1/WURFL/"
resources.useragent.wurflapi.wurfl_config_array.wurfl.main-file = APPLICATION_PATH "/data/wurfl/wurfl-latest.zip"
resources.useragent.wurflapi.wurfl_config_array.wurfl.patches = APPLICATION_PATH "/data/wurfl/web_browsers_patch.xml"
resources.useragent.wurflapi.wurfl_config_array.cache.provider = "file"
resources.useragent.wurflapi.wurfl_config_array.cache.dir = APPLICATION_PATH "/data/wurfl/cache/"
resources.useragent.wurflapi.wurfl_config_array.persistence.provider = "file"
resources.useragent.wurflapi.wurfl_config_array.persistence.dir.dir = APPLICATION_PATH "/data/wurfl/cache/"

The problem happens on Linux environment (case-sensitive filenames).

Please rename the file UserAgent.php to Useragent.php in /shardj/zf1-future/library/Zend/Application/Resource/
directory. (The filename in original Zend framework is Useragent.php).

I have tested that renaming file fixes the issue.

[develart-projects]

Any opinions on this one? Are we going to revert, possibly getting notices by compser 2?
Imo that's always better, than error while bootstrapping.