Checkout
Philippe Lindheimer
committed
5 years and 7 months ago
fixes #4401 deprecated use of split() to preg_split()