Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  c64fa96ad59cfce80b48b6fdd89e7dafcdef4bfd

Generate PHPDoc via Makefile

We should also generate docs from PHP since we do
it for JavaScript and Css..

Bug: 64398
Change-Id: I0980ed769377da7a084dccae01de5d6c85f14801