Fixed uncaught thumbName() exceptions and use $_GET.
authorAaron Schulz <aschulz@wikimedia.org>
Fri, 16 Nov 2012 01:05:26 +0000 (17:05 -0800)
committerAaron Schulz <aschulz@wikimedia.org>
Fri, 16 Nov 2012 01:19:08 +0000 (17:19 -0800)
commit3fca064bfc61ae0579bbeea33fa1daeccc5dadc7
tree28bbb1f2cb0be1ebf204cd153310d457a12d78d7
parentb05054de46f403ffbeb805bb6d42d07bd4b725b4
Fixed uncaught thumbName() exceptions and use $_GET.

* Using $_REQUEST is bad since cookie data is also in there.
* Also made a few tiny code cleanups.

Change-Id: Ib7064b95a2788484d05cf457034fe1d5be298bc4
thumb.php