2.14: Fix bug in PHP deprecated functions detection