Updated mediawiki/extensions
Project: mediawiki/extensions/UniversalLanguageSelector  f25fca0dcb91dcf77bce731cf129ed129c26cd6b

Check if directory exists in a better manner

 * This avoids warnings like: line 8: cd: /tmp/jquery.ime:
   No such file or directory.
 * Formatting fixes.

Change-Id: Icbc3f6f80314cae3ea9b5dfdc3e66c59af225621