Make API action=tokens extendable
[mediawiki.git] / resources / mediawiki.page / 
tree2099cf9ee511bd07ff16568ed29d3872aab43805
drwxr-xr-x   ..
-rw-r--r-- 654 mediawiki.page.ready.js
-rw-r--r-- 640 mediawiki.page.startup.js