mediawiki.util: Use correct encoding for fragment in getUrl
[mediawiki.git] / includes / registration / 
tree9e4d0124cc66586db7b85cc72234e595069ee3e7
drwxr-xr-x   ..
-rw-r--r-- 1863 CoreVersionChecker.php
-rw-r--r-- 9085 ExtensionProcessor.php
-rw-r--r-- 9299 ExtensionRegistry.php
-rw-r--r-- 1155 Processor.php