Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  f5dd0d03d0137e7cd83cdea2c1ac169856a003a0

Hygiene: rename scripts directory to dev-scripts

...to avoid people confusing them with maintenance scripts and just make
their puprose more clear.

Change-Id: I0b6392313f1653b92f6e98069119a2bdaa382676