I know this is an old thread, but maybe Tom or Leo can help. I’ve had this child theme working for a couple years now with no issues. The child theme creates my social icons on the *mobile* menu bar using the php that Tom helped me with.
It still works. The problem is that I want to delete Google+. When I try to delete that one line from the php text (leaving the rest intact), then “update file”… It tries for a long time, then says that the file was reverted back to its previous state because the file could not be updated.