Annotate

plugins/mod_unknown.lua @ 7521:1c8b63fe6472

statsmanager: Add 'stats_provider' option, to allow selecting alternative API providers to util.statistics
author Matthew Wild <mwild1@gmail.com>
date Wed, 27 Jul 2016 14:04:36 +0100
parent 6003:28a90f5fea46
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6003
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
1 -- Unknown platform stub
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
2 module:set_global();
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
3
28a90f5fea46 modulemanager: Always load a platform-specific module, add stub modules for Windows and unknown platforms
Kim Alvefur <zash@zash.se>
parents:
diff changeset
4 -- TODO Do things that make sense if we don't know about the platform