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