I’m afraid a PHP sinppet will not help in this case, this requires a core file change.
Well I don’t have a timeframe, the next update is a major rework on the inner file structure, and it takes a huge amount of time unfortunately.
I might be able to do this via back-end access as well, but in that case please make sure to have a full site back-up that you can revert back, as changing a file via the wp plugin editor could lead to an unusable back-end (if the file change is not successful).