Yes but it was removed because the two are actually different in terms of interpretation by PHP, meaning it's not to be enforced without a good reason, no ?