Completed
Push — recommendation_api_cache ( ad0c18...7da34d )
by
unknown
14:04
created
mod/missions/api/v0/cache.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -46,7 +46,7 @@
 block discarded – undo
46 46
   /**
47 47
    * Get the requested cache, or call the callback $cb to seed it.
48 48
    *
49
-   * @param Closure $cb generator
49
+   * @param \Closure $cb generator
50 50
    */
51 51
   public function get($cb) {
52 52
     $cached = false;
Please login to merge, or discard this patch.