diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/.jshintignore | 2 | ||||
| -rw-r--r-- | web/arrow.js (renamed from web/arrowstyle.js) | 0 | ||||
| -rw-r--r-- | web/debug.html | 2 | ||||
| -rw-r--r-- | web/release.html | 2 |
4 files changed, 3 insertions, 3 deletions
diff --git a/web/.jshintignore b/web/.jshintignore index 1c48d68e2..6a7e8b21a 100644 --- a/web/.jshintignore +++ b/web/.jshintignore @@ -1,4 +1,4 @@ l10n/** tests/** locale.js -arrowstyle.js +arrow.js diff --git a/web/arrowstyle.js b/web/arrow.js index 1fd2b3c00..1fd2b3c00 100644 --- a/web/arrowstyle.js +++ b/web/arrow.js diff --git a/web/debug.html b/web/debug.html index 0e9576323..319e813cc 100644 --- a/web/debug.html +++ b/web/debug.html @@ -15,7 +15,7 @@ <script src="//cdnjs.cloudflare.com/ajax/libs/extjs/6.0.1/ext-all-debug.js"></script> <script src="//cdnjs.cloudflare.com/ajax/libs/extjs/6.0.1/classic/theme-neptune/theme-neptune.js"></script> <script src="//cdnjs.cloudflare.com/ajax/libs/ol3/3.17.1/ol-debug.js"></script> -<script src="arrowstyle.js"></script> +<script src="arrow.js"></script> <script type="text/javascript"> Ext.Loader.setConfig({ disableCaching: false }); </script> diff --git a/web/release.html b/web/release.html index 4e087922a..9f396609e 100644 --- a/web/release.html +++ b/web/release.html @@ -15,7 +15,7 @@ <script src="//cdnjs.cloudflare.com/ajax/libs/extjs/6.0.1/ext-all.js"></script> <script src="//cdnjs.cloudflare.com/ajax/libs/extjs/6.0.1/classic/theme-neptune/theme-neptune.js"></script> <script src="//cdnjs.cloudflare.com/ajax/libs/ol3/3.17.1/ol-debug.js"></script> -<script src="arrowstyle.js"></script> +<script src="arrow.js"></script> <script src="locale.js"></script> <script type="text/javascript"> Ext.Loader.loadScript('app.min.js'); |