MySQL implicit defaults documentation updated