Merge "mediawiki.Title: Remove dead code and streamline newFromUserInput()"
[lhc/web/wiklou.git] / resources / lib / ooui / themes / wikimediaui / images / icons / infoFilled-progressive.png
2019-06-10 jenkins-botMerge "mediawiki.Title: Remove dead code and streamline...
2019-06-10 jenkins-botMerge "foreign-resources.yaml: Add jquery.chosen"
2019-06-10 jenkins-botMerge "jquery.suggestions: Use document.documentElement...
2019-06-10 jenkins-botMerge "jquery.suggestions: Use Object.create( null )"
2019-06-10 jenkins-botMerge "jquery.suggestions: Remove public object $.sugge...
2019-06-09 jenkins-botMerge "registration: Deprecate ParserTestFiles in exten...
2019-06-09 jenkins-botMerge "Adjust type hints in database related classes"
2019-06-08 jenkins-botMerge "Print: Add padding on pre elements"
2019-06-08 jenkins-botMerge "Deprecate logout token on GET"
2019-06-07 jenkins-botMerge "WatchedItemStore::getWatchedItem returns a Watch...
2019-06-06 jenkins-botMerge "Improve return types in class MagicWordArray"
2019-06-06 jenkins-botMerge "Document $rows on hook ChangesListInitRows as...
2019-06-06 jenkins-botMerge "Fix type hint for properties holding MapCacheLRU"
2019-06-06 jenkins-botMerge "Refactor buildPrevNextNavigation"
2019-06-06 jenkins-botMerge "Improve type hints to special page related classes"
2019-06-06 jenkins-botMerge "Remove DatabaseSqliteMock unit test class in...
2019-06-06 jenkins-botMerge "Improve @var on User class"
2019-06-06 jenkins-botMerge "Update OOUI to v0.32.1"
2019-06-05 James D. ForresterUpdate OOUI to v0.32.1