clean up User::getOptions a bit
authorumherirrender <umherirrender_de.wp@web.de>
Sat, 2 Jun 2012 08:46:37 +0000 (10:46 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Sat, 2 Jun 2012 08:46:37 +0000 (10:46 +0200)
commitbf7a4bc7fcdda1e09b89adbdbd888dbdc847267b
tree9aed059feef22974a6e7e0b98441001af5425b9b
parent0c15f948c47e2ca400a9cdcb32901d0d0146c465
clean up User::getOptions a bit

* use local vars for often used objects
* move some lines near the code, which depends on it

Change-Id: I7a4d4ba1350cca69a8f1c6d355002ee8fdd8f2bc
includes/User.php