View GitHub Repository SemanticResultFormats

Schedule Inspection
Subscribe
Completed
Push — filtered ( df81db...988e33 )
by Stephan
17:56
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

 ⇢ C Filtered::getFilterHtml() added
⇢ B Filtered::getViewHtml() added
F ↗ B Filtered::getResultText() improved