lizardsystem/lizard-portal — Issue #1: Move extjs from media/lizard_portal/extjs to media/extjs
Author: reinout
Created: 2011-10-10 20:46:33+00:00
State: open

In lizard-ui (and lizard-map) the external javascript libraries are directly inside media, not inside media/lizard_someting. This makes it easier to exclude extjs from the automatic jslint checking (which is undoubtedly necessary, as it was needed for the other external libraries).

=> move it.

And add a README.extjs file inside the media/ directory with extjs's license in it. Necessary as it otherwise seems like our code.