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