Check for intl extension in updateCredits.php
authorUmherirrender <umherirrender_de.wp@web.de>
Fri, 1 Feb 2019 18:57:56 +0000 (19:57 +0100)
committerUmherirrender <umherirrender_de.wp@web.de>
Fri, 1 Feb 2019 18:57:56 +0000 (19:57 +0100)
commitbd7ff019c9bce29d195b59c2c5b4cb0d34dc6d93
tree4652fc3d2b08c1d47e682e59cb07591ffd6407c6
parentace00ba8327c2b73ab8e0b225a3782b49ff4de14
Check for intl extension in updateCredits.php

Change-Id: Ifa2892b2f38fa73362c3ac60e1d90614cdbc0a93
maintenance/updateCredits.php