MYSQL_FIX_EXTENSI(category27-allgemeinwissen.html) - phpMan

mysql_fix_extensions (1) - normalize table file name extensions