Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTagsWiki  f639e254e90f9a5cba99d0166ff30c38e996b245

tiny cleaning (v 1.5.3)

Change-Id: Ic32d402af9d96d4c58631b72fd2b94fff113029f