Followup r72535, I suppose I shouldn't break the old installer yet
[mediawiki.git] / resources / mediawiki / 
tree3897799d40c6bab0ee79042997252aa8774010cb
drwxr-xr-x   ..
-rw-r--r-- 21509 mediawiki.js
-rw-r--r-- 1626 mediawiki.log.js