diff options
| author | Samy Pessé <samypesse@gmail.com> | 2015-10-06 09:42:49 +0200 |
|---|---|---|
| committer | Samy Pessé <samypesse@gmail.com> | 2015-10-06 09:42:49 +0200 |
| commit | ce1e0e187339976fc3cae7ef70bcfdd0eaf68981 (patch) | |
| tree | c71ab2b8badd7a54759790bde083cab721796d92 /theme/javascript/platform.js | |
| parent | bcb224d1cb0add4285538f03956f6f6a1574e49a (diff) | |
| parent | c2775b3b63e92a7047f019a9d56851ce4fdd6c02 (diff) | |
| download | gitbook-ce1e0e187339976fc3cae7ef70bcfdd0eaf68981.zip gitbook-ce1e0e187339976fc3cae7ef70bcfdd0eaf68981.tar.gz gitbook-ce1e0e187339976fc3cae7ef70bcfdd0eaf68981.tar.bz2 | |
Merge pull request #964 from GitbookIO/features/plugin_api
Better APIs for Plugins
Diffstat (limited to 'theme/javascript/platform.js')
| -rw-r--r-- | theme/javascript/platform.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/theme/javascript/platform.js b/theme/javascript/platform.js new file mode 100644 index 0000000..9721fb7 --- /dev/null +++ b/theme/javascript/platform.js @@ -0,0 +1,3 @@ +module.exports = { + isMobile: /Android|webOS|iPhone|iPad|iPod|BlackBerry|IEMobile|Opera Mini/i.test(navigator.userAgent) +}; |