php folding rules