That is a great question. Maybe a php expert will give you an idea, but I don’t know that one! I hope someone does! As well, you can probably make that change a plugin as well so that you don’t have to edit the core files! Maybe that same phantom php expert can help us with that as well….