1 2 3 4 5 6 7
CREATE EXTENSION foo VERSION "100"; SELECT foo(); ALTER EXTENSION foo UPDATE TO "123"; SELECT foo();