Here I think we should support both names, make them refer to the same variable. Otherwise people will get surprises on upgrade if their php.ini has non-default values.