View Revisions: Note 695

Summary 0000326: replace the remaining split() function with preg_split()