Fix possible PHP warning in in_array_nocase() when 2nd argument is not an array
Description
Description
Details
Details
- Provenance
machniak Authored on May 23 2012, 6:35 AM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:bc79c5561371: Removed $Id$
- Branches
- Unknown
- Tags