Last modified: 2014-06-10 21:04:15 UTC
It seems these are cruft that is no longer needed. There is a note on "enableExpandableSections" saying: kill with fire when there will be minimum of pre-1.1 app users remaining
I think Florian noticed this during his cleanup of the PHP documentation
Yap, see change: https://gerrit.wikimedia.org/r/#/c/137739/ :)
Oh.. I notice protected $backToTopLink = true; is still present in MobileFormatter.php so sadly can't sign off on this bug just yet! :) I'll submit a patch that kills that code shortly...
Change 138515 had a related patch set uploaded by Jdlrobson: Hygiene: Kill dead variable https://gerrit.wikimedia.org/r/138515
Oha, then we only said, that we want to remove this in one of the PS :P
Change 138515 merged by jenkins-bot: Hygiene: Kill dead variable https://gerrit.wikimedia.org/r/138515