what is the vscode extension used at video?

[1xo2]

??????????????????????????????????????????
does anybody knows what is the vscode extension used at video time stamp 16:02 ??

i have tried to take a screenshot and search in google images... nothing...
looked on vscode marketplace to anything similar to.... nothing...

in https://youtu.be/0iB5IPoTDts?t=962

[scalablescripts]

I use PyCharm Professional which is a paid IDE: https://www.jetbrains.com/pycharm/

[rohantotherescue]

MySQL v0.5.0
Jun Han