\n"; echo "dropping table custom_extensions.."; sql("DROP TABLE IF EXISTS `custom_extensions`"); echo "done
\n"; ?>