Merge "API: Remove WDDX and dump formats"
[lhc/web/wiklou.git] / includes / widget /
2015-07-01 jenkins-botMerge "API: Deprecate generatexml of modules revisions...
2015-07-01 jenkins-botMerge "Pass user to WikiPage::doDeleteArticleReal"
2015-07-01 jenkins-botMerge "Replace some MWException usage in User"
2015-06-30 jenkins-botMerge "tooltip-ca-edit: Simplify wording to align with...
2015-06-30 jenkins-botMerge "Add maintenance script to populate page,revision...
2015-06-30 jenkins-botMerge "MediaWiki.php: Redirect non-standard title urls...
2015-06-30 Roan KattouwAdd a PHP implementation of TitleInputWidget