It search for an user name and if the user is found, center the map on it's
last known position.
The feature can be triggered by:
- Entering the user nickname in the search box preceded by '@'
- Ctrl+Clicking on an user name in the chat
Uses the portal name function from the chat listing, which, for now,
renames the US Post Office portals so it doesn't look like.
20m ago US Post Office
25m ago Some portal
35m ago US Post Office
55m ago US Post Office
- make update URLS https - required by firefox+greasemonkey
- add build name + date/time to description of all plugins, and moved to front for main IITC
- ensure all plugins have a A.B.C. version number format - required now they append the date+time digits
- no smooth upgrade path from current 'dist' folder - so changed to 'release'. users will have to manually update this time, but will be fine fron now onwards (in theory!)
- plugins are now parsed for @@..@@ replacements
- main script and plugins have separate .meta.js files created - less web server load for update checks
- build script has variables for resource URL, update URL, etc, substituted via @@..@@ into main script and all plugins
loading dependencies just got a lot harder. External JS and CSS files
are now included directly in the file while building. This does not yet
work for plugins. I will make an emergency release soon, so at least
main works.
