Merge "Revert "mediawiki.widgets: Add temporary workaround for upstream oojs-ui bug""
[lhc/web/wiklou.git] / includes / changetags /
drwxr-xr-x   ..
-rw-r--r-- 41097 ChangeTags.php
-rw-r--r-- 2279 ChangeTagsList.php
-rw-r--r-- 3132 ChangeTagsLogItem.php
-rw-r--r-- 2559 ChangeTagsLogList.php
-rw-r--r-- 1917 ChangeTagsRevisionItem.php
-rw-r--r-- 2813 ChangeTagsRevisionList.php