Merge "Remove deprecated wfSplitWikiID() function"
[lhc/web/wiklou.git] / maintenance / mediawiki.Title / generatePhpCharToUpperMappings.php
2019-03-28 jenkins-botMerge "Remove deprecated wfSplitWikiID() function"
2019-03-28 jenkins-botMerge "Remove jquery.ui.spinner"
2019-03-28 jenkins-botMerge "rdbms: add IDatabase::UNION_* constants for...
2019-03-28 jenkins-botMerge "Title: Add scripts for generating/updating phpCh...
2019-03-27 Ed SandersTitle: Add scripts for generating/updating phpCharToUpp...