Fixes #34

The function is already declared in functions_warnings.php