Use .json extension for OOUI source maps
authorBartosz Dziewoński <matma.rex@gmail.com>
Mon, 14 May 2018 17:49:30 +0000 (19:49 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Fri, 18 May 2018 11:55:10 +0000 (11:55 +0000)
commit1c933d8c2e4f12787ac1d74a6cb721c80d00dabd
tree3df1e33b388280a3cc0f6b66e17593d51278e614
parent8e6496aaa3713424fe16b71e433c6b253afbf451
Use .json extension for OOUI source maps

OOUI is being changed to use .json in
I94eff6d2588937bf1d932b7624576dfe35016ead.

Bug: T194676
Change-Id: I5971efc2db7a2cdc5ca0ba843625b76de25dbd8b
maintenance/resources/update-ooui.sh