2016-09-08



Got an error in PHP that a function was redefined, i.e. two func-
tions  of  the  same name. Thus I grepped for the name, but there
was no other function with that name.  Eventually  the  offending
other function was one with only case-insensitively the same name
but with different letter-casing.  Good  to  know  that  function
names are case-insensitive in PHP!  [0]

[0]  http://www.php.net/manual/en/functions.user-defined.php


http://marmaro.de/lue/        markus schnalke <meillo@marmaro.de>