split() deprecated

[Shoo]

Собственно сабж.

Debian 7.7 3.2.63-2+deb7u1 x86_64

PHP 5.4.35-0+deb7u2 (cli) (built: Nov 19 2014 07:56:24)
Copyright (c) 1997-2014 The PHP Group
Zend Engine v2.4.0, Copyright (c) 1998-2014 Zend Technologies

В логах:
2014/12/02 19:40:14 [error] 24187#0: *841 FastCGI sent in stderr: "PHP message: PHP Deprecated: Function split() is deprecated in /usr/local/vesta/web/templates/admin/list_firewall_banlist.html on line 40.

Цитируя php.net:

С версии PHP 5.3.0 эта функция считается УСТАРЕВШЕЙ. Крайне не рекомендуется полагаться на эту возможность.

Пока решил заменой split-->explode. Корректно ли? Error ушёл, всё работает, но мало ли. Ну и наверное рассматривать как просьбу в грядущем релизе поправить :)

[imperio]

Оставьте отчёт в багзилле
https://bugs.vestacp.com/

[Shoo]

done :)