Revision 929df6bca01bd11312772c5ffef8ec275f30beda

Committed on 10/10/2018 5:40 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Fix warnings about continue inside switch on PHP 7.3 (#1387)