Fixed php predefined classes not being found by adding backslash