Merge "add option to XML dump stubs of page ranges with explicit rev_id ordering"
[mediawiki.git] / resources / 
tree9b151dc5950d90ea4c125cbc69f84b8770a675c2
drwxr-xr-x   ..
-rw-r--r-- 74304 Resources.php
-rw-r--r-- 6135 ResourcesOOUI.php
drwxr-xr-x - assets
drwxr-xr-x - lib
drwxr-xr-x - src