NAME DROP_EXTENSION - remove an extension SYNOPSIS DROP EXTENSION [ IF EXISTS ] name [, ...] [ CASCADE | RESTRICT ] DESCRIPTION ... DROP EXTENSION removes extensions from the datab…they can be dropped again if DROP EXTENSION is issued. The user who runs CREATE ... ALSO ALTER EXTENSION ( ALTER_EXTENSION (7)), DROP EXTENSION ( DROP_EXTENSIONALSO CREATE EXTENSION ( CREATE_EXTENSION (7)), DROP EXTENSION ( DROP_EXTENSIONshould therefore be removed with DROP EXTENSION not DROP LANGUAGE . PARAMETERS IF EXISTSSee the fileNAME mariadb-fix