Update LocalSettings_ext.php

DeepSea path.