MYSQL_FIX_EXTENSI(glossar.html) - phpMan

mysql_fix_extensions (1) - normalize table file name extensions