==== What is the problem?
We are seeing this error a lot on beta:
```
2021-11-08 15:48:38 [YYlG1i04-fG3yGWMjh5LGgAAAA4] deployment-mediawiki11 enwiki 1.38.0-alpha exception ERROR: [YYlG1i04-fG3yGWMjh5LGgAAAA4] /w/load.php?lang=en&modules=ext.ipInfo.preferences%7Cjquery%2Coojs-ui-core%2Coojs-ui-widgets&skin=vector&version=c00l7 RuntimeException: ResourceLoaderFileModule::getFileContents: package file not found, or is not a file: "/srv/mediawiki/php-master/extensions/IPInfo/modules/ext.ipInfo.preferences/preferences.js" {"exception_url":"/w/load.php?lang=en&modules=ext.ipInfo.preferences%7Cjquery%2Coojs-ui-core%2Coojs-ui-widgets&skin=vector&version=c00l7","reqId":"YYlG1i04-fG3yGWMjh5LGgAAAA4","caught_by":"other"}
[Exception RuntimeException] (/srv/mediawiki/php-master/includes/resourceloader/ResourceLoaderFileModule.php:507) ResourceLoaderFileModule::getFileContents: package file not found, or is not a file: "/srv/mediawiki/php-master/extensions/IPInfo/modules/ext.ipInfo.preferences/preferences.js"
#0 /srv/mediawiki/php-master/includes/resourceloader/ResourceLoaderFileModule.php(1398): ResourceLoaderFileModule->getFileContents(string, string)
#1 /srv/mediawiki/php-master/includes/resourceloader/ResourceLoaderFileModule.php(365): ResourceLoaderFileModule->getPackageFiles(ResourceLoaderContext)
#2 /srv/mediawiki/php-master/includes/resourceloader/ResourceLoaderModule.php(779): ResourceLoaderFileModule->getScript(ResourceLoaderContext)
#3 /srv/mediawiki/php-master/includes/resourceloader/ResourceLoaderModule.php(747): ResourceLoaderModule->buildContent(ResourceLoaderContext)
#4 /srv/mediawiki/php-master/includes/resourceloader/ResourceLoader.php(1137): ResourceLoaderModule->getModuleContent(ResourceLoaderContext)
#5 /srv/mediawiki/php-master/includes/resourceloader/ResourceLoader.php(839): ResourceLoader->makeModuleResponse(ResourceLoaderContext, array, array)
#6 /srv/mediawiki/php-master/load.php(52): ResourceLoader->respond(ResourceLoaderContext)
#7 /srv/mediawiki/php-master/load.php(38): wfLoadMain()
#8 /srv/mediawiki/w/load.php(3): require(string)
#9 {main}
```
I think it might be a case-sensitivity issue. I notice that `/srv/mediawiki/php-master/extensions/IPInfo/modules/ext.ipinfo.preferences/preferences.js` does exist, but the code is looking for `/srv/mediawiki/php-master/extensions/IPInfo/modules/ext.ipInfo.preferences/preferences.js`.
@phuedx says it might be worth "...reviewing all Resource Loader module definitions for case-sensitivity issues."
==== Steps to reproduce problem
I don't know.