Erik Erikson ca5ba8daac Remove unused parameters in platform.js (and deal with consequences)
Add explicit use of options where they were defined.
2017-12-12 11:59:08 -08:00
..
2017-12-11 16:39:44 -08:00