!
Hubzilla Development Looking at library/Mobile_Detect I notice the last update was in 2012. Was considering updating it, but wondering if this library still has any value to us. At one time it toggled a 'mobile-friendly' theme but our standard theme is now mobile-friendly. If updated, it probably requires frequent updating and the number of possible mobile devices will eventually exhaust memory.
So this is a vote. Yes to keep it, No to get rid of it (and with it all the 'mobile theme' selection logic). If yes, please describe your specific requirement so we can compare alternative mechanisms which might be more maintainable long term.