Hent Ext JS-version

Jeg har overtaget et PHP + Ext JS-projekt. Desværre er der ingen dokumentation. Hvordan finder jeg ud af den Ext JS-version, der bruges?

I jQuery får vi versionen ved at køre $ (). Jquery; . Noget som dette i Ext JS?