Followup r72535, I suppose I shouldn't break the old installer yet
[mediawiki.git] / resources / mediawiki.views / 
treedd4eecc29d3490a627589953900a2a53a2bbf94d
drwxr-xr-x   ..
-rw-r--r-- 1085 mediawiki.views.diff.js
-rw-r--r-- 3366 mediawiki.views.install.js