Updated mediawiki/extensions
Project: mediawiki/extensions/Graph  09b9eff6fcbf5da62d1e24592b75df2ada408cfe

timer on finally

Change-Id: If038a2de87095d3c86ad9987e1acd6bb78686071