wikimedia / mediawiki-extensions-Lingo

Completed

Push — master ( ea9a9d...003023 )

by

unknown

created 2018-03-22 23:56 UTC

Changes

	5 issues (3 minor, 2 informational) were introduced. 3 issues were fixed.
	10 new patches (Doc Comments, Indentation, Spacing) are available.
	8 added classes/operations
		A	Element::getFormattedTerm() added
		A	Element::buildFormattedTerm() added
		B	Element::buildFormattedTermAsLink() added
		A	Element::buildFormattedTermAsTooltip() added
		A	Element::buildTerm() added
		A	Element::getFormattedDefinitions() added
		B	Element::buildFormattedDefinitions() added
		A	Element::getId() added

8.55

▼ -0.04

Test Coverage

26%

▶ ±0%

Head	Foxtrott 2018-03-22 23:55 GMT+0000 Merge "Move definitions to the end of the page; clean-up"
⋮	1 more commit
Base	Translation updater bot 2018-03-19 21:19 UTC Localisation updates from https://translatewiki.net.