Add options in plugin_dbui to generate the binary files for third party plugin
- Add the options
--ace, --dbui, --extjs, --mathjax to create the small size version of the plugin. It is achieved by keeping only files that are used by the applications.
- Create the binary file following the method
web2py/gluon/fileutils/w2p_pack_plugin/
- The naming convention are
web2py.plugin.pluginname.pluginversion.w2p and
web2py.plugin.pluginname.pluginversion.min.w2p where the pluginversion does not contain dot.
- Redesign the option:
--web2py plugin_name
