include-ext.js

alert("Extjs library is not installed. Run tools/get-ext.sh to install it!");