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/utils/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/utils/platform.js')
| -rwxr-xr-x | theme/javascript/utils/platform.js | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/theme/javascript/utils/platform.js b/theme/javascript/utils/platform.js deleted file mode 100755 index ad5f3b4..0000000 --- a/theme/javascript/utils/platform.js +++ /dev/null @@ -1,5 +0,0 @@ -define([], function() { - return { - isMobile: /Android|webOS|iPhone|iPad|iPod|BlackBerry|IEMobile|Opera Mini/i.test(navigator.userAgent) - }; -});
\ No newline at end of file |