diff options
Diffstat (limited to 'lib/private/App/Platform.php')
| -rw-r--r-- | lib/private/App/Platform.php | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/private/App/Platform.php b/lib/private/App/Platform.php index 1d4c3767121..b1cb7c5aeb0 100644 --- a/lib/private/App/Platform.php +++ b/lib/private/App/Platform.php @@ -49,6 +49,13 @@ class Platform { } /** + * @return int + */ + public function getIntSize() { + return PHP_INT_SIZE; + } + + /** * @return string */ public function getOcVersion() { |