ExtJS 4.2: Migrate several grid plugins.

models/widgets_grids.py

modules/plugin_dbui/converter.py

static/plugin_dbui/locale/dbui-lang-fr.js

static/plugin_dbui/src/form.js

static/plugin_dbui/src/grid.js

static/plugin_dbui/src/pformtooltip.js

static/plugin_dbui/src/pgridexpertmenu.js

static/plugin_dbui/src/pgridmathjax.js

static/plugin_dbui/src/pgridroweditorbase.js

static/plugin_dbui/src/pgridroweditorcontextmenu.js

static/plugin_dbui/src/pgridroweditordblclick.js