Replaced call to split (deprecated since php 5.3.0) to preg_split.