use of deprecated function "split" in file "http/classes/class_locale.php"

[marcjansen]

In file "http/classes/class_locale.php" we use "split", which is deprecated as of PHP 5.3 [1]. The patch below replaces "split" with "explode", which should be what is meant there (we didn't split by a complicated regular expression but a simple string). If we decide on leaving "split" in there, some CMS embedding Mapbender will display ugly warnings (Typo3 in my particular case).

The attached patch provides the minor replacement.

[1] ​http://php.net/manual/en/function.split.php

[astrid_emde]

Ticket retargeted after milestone deleted