Updated mediawiki/extensions
Project: mediawiki/extensions/WikiLexicalData  21c7a7594a5e7d34d779f62ef73944158d6231b3

download path

difference between how Windows and Linux interprets $IP mess up this path,
introduced some safeguard, just to be sure.

Change-Id: I68e2225ad220323b22e991cf469fb9d5b7d17d8a