Is it crucial to close mysql connections efficiency wise, or does it automatically close after php file has run?