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