pgadmin4/web/pgadmin/static/js/components/ReactCodeMirror/extensions
Aditya Toshniwal 27bd28ee97 Replace Grid with Grid2 as the former is deprecated by MUI 2025-05-06 19:39:33 +05:30
..
activeLineMarker.js
breakpointGutter.js Replace Grid with Grid2 as the former is deprecated by MUI 2025-05-06 19:39:33 +05:30
currentQueryHighlighter.js
dialect.js
errorMarker.js
extraStates.js
highlighting.js