docs: def drop_extension(name,
                     if_exists=None,
                     restrict=None,
                     cascade=None,
                     user=None,
                     host=None,
                     port=None,
                     maintenance_db=None,
                     password=None,
                     runas=None):
      '''
      Drop an installed postgresql extension
  
      CLI Example:
  
      .. code-block:: bash
  
          salt '*' postgres.drop_extension 'adminpack'
  
      '''
      if cascade is None:
          cascade = True
      if if_exists is None:
          if_exists = False
      if restrict is None:
          restrict = False
      args = ['DROP EXTENSION']
      if if_exists:
          args.append('IF EXISTS')
      args.append(name)
      if cascade:
          args.append('CASCADE')
      if restrict:
          args.append('RESTRICT')
      args.append(';')
      cmd = ' '.join(args)
      if is_installed_extension(name,
                                user=user,
                                host=host,
                                port=port,
                                maintenance_db=maintenance_db,
                                password=password,
                                runas=runas):
          _psql_prepare_and_run(
              ['-c', cmd],
              runas=runas, host=host, user=user, port=port,
              maintenance_db=maintenance_db, password=password)
      ret = not is_installed_extension(name,
                                       user=user,
                                       host=host,
                                       port=port,
                                       maintenance_db=maintenance_db,
                                       password=password,
                                       runas=runas)
      if not ret:
          log.info('Failed to drop ext: %s', name)
      return ret