It's no problem to use empty(), as long as you return $str rather than an empty string.
authorRoan Kattouw <catrope@users.mediawiki.org>
Tue, 13 Nov 2007 15:07:54 +0000 (15:07 +0000)
committerRoan Kattouw <catrope@users.mediawiki.org>
Tue, 13 Nov 2007 15:07:54 +0000 (15:07 +0000)
commit9a9349944b03db46f630f1979e0ff5e84de8fea1
treed49185783c3b670bac41c8ac9961093c379f583f
parentff54a53cbd765eef6ffa1535b2fb7163fe851ca2
It's no problem to use empty(), as long as you return $str rather than an empty string.
languages/Language.php