diff options
| author | 2013-12-30 12:43:39 +0100 | |
|---|---|---|
| committer | 2013-12-30 12:43:39 +0100 | |
| commit | 4d6ab45b03031e1c13ac2d3589364a43a0fe5578 (patch) | |
| tree | 92fcd795eb44fb89c0b95676ce30b303eb415542 /lib | |
| parent | 3cc073f2d1dd4a5fef5d66e6f30c4496bf2e6421 (diff) | |
Micro-optimisation : évite is_null et quelques if/else
Contribue à https://github.com/marienfressinaud/FreshRSS/issues/303
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Minz/Dispatcher.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Minz/Dispatcher.php b/lib/Minz/Dispatcher.php index 2898b5f00..c2c5e7f65 100644 --- a/lib/Minz/Dispatcher.php +++ b/lib/Minz/Dispatcher.php @@ -22,7 +22,7 @@ class Minz_Dispatcher { * Récupère l'instance du Dispatcher */ public static function getInstance ($router) { - if (is_null (self::$instance)) { + if (self::$instance === null) { self::$instance = new Minz_Dispatcher ($router); } return self::$instance; |
