Should this be a global?

2012-02-08 23:32:22 -05:00 · 2012-02-08 23:32:22 -05:00 · 562ba3585a
commit 562ba3585a
parent 7bb971cef0
1 changed files with 1 additions and 0 deletions
--- a/contrib/pools/main.php
+++ b/contrib/pools/main.php
@ -276,6 +276,7 @@ class Pools extends Extension {
 	
 	/**
 	 * Check if the given user has permission to edit/change the pool.
+	 * TODO: Should the user variable be global?
 	 * @retval bool
 	 */
 	private function have_permission($user, $pool) {