Okay, Mika, thanks for the ready reply. I’m inclined to think that creating and modifying a personal phprc file may not be worthwhile. Perhaps I’ll just return to doing backups manually for such sites (via shell commands).
However, maybe PHP 5.4. So, online I couldn’t find any definitive discussion about WordPress 4.0 and PHP 5.4 compatibility. Any gotchas regarding WordPress itself, themes, plug-ins, etc.?