Last modified: 2014-02-12 23:53:12 UTC
Currently MobileFrontend.php defines certain variables multiple times. For example, $randomButton is defined four times in the same file. This is unnecessary duplication that can be killed.
This has been fixed in r94707.