Merge "Make update.php file executable"
[mediawiki.git] / resources / src / mediawiki.page / 
treeed94c2b2fffb24ccf1f74224081c13ed6e3f0eaa
drwxr-xr-x   ..
-rw-r--r-- 8579 mediawiki.page.gallery.js
-rw-r--r-- 3295 mediawiki.page.image.pagination.js
-rw-r--r-- 2077 mediawiki.page.patrol.ajax.js
-rw-r--r-- 1158 mediawiki.page.ready.js
-rw-r--r-- 1010 mediawiki.page.startup.js
-rw-r--r-- 4907 mediawiki.page.watch.ajax.js