Property definitions

popcorn $ GithubUser :: defaultinit
# Get the currently logged in user from session.
class GithubUser
	super AuthHandler

	redef fun get(req, res) do
		var user = check_session_user(req, res)
		if user == null then return
		res.json user
	end
end
lib/popcorn/pop_auth.nit:317,1--326,3