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