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-04-10 10:12:27 +02:00
2017-04-06 18:28:59 +07:00