Vector: Restore old focus animation on the "More" dropdown
[mediawiki.git] / includes / title / 
tree0a06f4c66977515d331ac95c0dc228cbbc74499b
drwxr-xr-x   ..
-rw-r--r-- 1084 MalformedTitleException.php
-rw-r--r-- 3995 MediaWikiPageLinkRenderer.php
-rw-r--r-- 12929 MediaWikiTitleCodec.php
-rw-r--r-- 2224 PageLinkRenderer.php
-rw-r--r-- 2776 TitleFormatter.php
-rw-r--r-- 1731 TitleParser.php
-rw-r--r-- 4640 TitleValue.php