Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  cd9d208e94bc1f39ca31ba96c709887957900163

Use phpdoc.xml for configuration of phpdoc

Using phpdoc.xml as configuration file for phpdoc mades easier
to configure how phpdoc will parse the Extension files without
editing Makefile.

Change-Id: I9e3780d2c3e0220808b2e706387074c9f141ddce