Prevent blocked users from performing revision deletion
[mediawiki.git] / resources / 
tree7cda7f0a7e57c5aa05fd78312bb997b2881bb30d
drwxr-xr-x   ..
-rw-r--r-- 71614 Resources.php
-rw-r--r-- 4697 ResourcesOOUI.php
drwxr-xr-x - assets
drwxr-xr-x - lib
drwxr-xr-x - src