Move allow_no_extension to global