php brush bug - empty() defined twice

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Just try to highlight a block of PHP code which contains something like
this:

if (!empty($somevar))
echo 'ooops';

What is the expected output? What do you see instead?
empty() should be shown only once, but instead you get:
if (!emptyempty($somevar))
echo 'oops';

What version of the product are you using? On what operating system?
dp.SH 1.5.1, all operating systems

Please provide any additional information below.
Can be fixed by removing empty() from the functions list in PHP brush, as
it is defined in both keywords and functions. [Or vice versa, but empty()
seems to be highlighted as a keyword in the built-in PHP highligher]

Original issue reported on code.google.com by lecter...@gmail.com on 13 Feb 2008 at 11:43

[GoogleCodeExporter]

Great work, thanks a lot!

Original comment by s.haselb...@gmail.com on 17 May 2012 at 9:19