jenkins-bot d72b09724e Merge "Remove deprecated $wgUseTidy in favour of $wgTidyConfig"		2017-07-07 22:49:21 +00:00
..
ApiQueryExtracts.php	Merge "Remove deprecated $wgUseTidy in favour of $wgTidyConfig"	2017-07-07 22:49:21 +00:00
ExtractFormatter.php	getFirstSentences(): don't use crazy regexes	2017-01-20 10:13:46 -08:00
Hooks.php	Chunk page ids in internal API call to avoid too-many-pageids-for-query	2017-05-26 17:17:21 -04:00