View GitHub Repository Config

Schedule Inspection
Subscribe
Completed
Push — master ( 28fd3f...c6cb37 )
by Olivier
01:35
created
Status
Category
Toggle Patches
lib/Config.php 1 patch
Doc Comments   +3 added lines patch added patch discarded remove patch 
@@ -20,6 +20,9 @@
 
 block discarded – undo
20 20 
 {
21 21 
 	static private $require_cache = [];
22 22
23 
+	/**
24 
+	 * @param string $__FILE__
25 
+	 */
23 26 
 	static private function isolated_require($__FILE__)
24 27 
 	{
25 28 
 		if (isset(self::$require_cache[$__FILE__]))
Please login to merge, or discard this patch.