Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  213e9b7264bcedd489c7db0e9054d7e66338c56f

Remove unused pretty timestamp

It is not used anywhere and we are going with a completely different approach

Change-Id: I9c8cbbcacd6dfdf6a7767f784a4b8b80b9c606ee