This the default way to authenticate in ERP5. Without this,
it is DANGEROUS to activate another plugin.

The PluggableAuthenticationService lists all activated plugin
and if at least one is available then it deactivate the default
way to authenticate. And if you are not able to pass the activated
plugin then you cannot login anymore.

To prevent this, we can activate a plugin which uses the default
way to authenticate (Dumb HTTP Extraction Plugin), and THEN activate
another plugin.

- update form positioning CSS
- add inset tag-list CSS
- update + fix theming for buttons

fixup! Listbox: do not get stat values on brains by index when we can simply get them by key (ie. column name)

Exception is now a key error

local_permission_interaction_workflow is only for Role Definition.

erp5_code_mirror: Gutter and source code separator line was not displayed because of erp5.css (df7eb0fd).

Incompatibilities fixed:
  * python-hint.js was removed in favor of hintWords functionality (TODO for ERP5).
  * diff_match_patch is not shipped with CodeMirror anymore.
  * lint addon API change.

erp5_upgrader: Use erp5_full_text_myisam_catalog instead of erp5_full_text_mroonga_catalog because erp5_full_text_mroonga_catalog will be the default

Do not use append option which will change option's selected attribute to true

This will display warnings/errors icons next to the line number, likewise Ace
Editor implementation.

accounting : do the stat with the select parameter otherwise it counts distinct which give bad results

By default, all are selected and this was not changed

This reverts commit c00318de.

- This counter shows the number of the SQL request since
  the beginning of the transaction

This allow the jio gadget to be sandboxed in an iframe.

It allows to use the same path than the standard UI and so, it will allow to have gadget_field working in erp5_web_renderjs_ui