Shut up PHP’s warnings