I've been using PHP professionally for 5+ years and never experienced it either. Sounds to me that this is just bad coding