wikimedia/mediawiki-extensions-TextExtracts
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TextExtracts synced 2024-11-23 15:56:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "ExtractFormatter: Update for HtmlFormatter 4.0.0"

Browse source
This commit is contained in:
jenkins-bot 2023-08-23 16:02:37 +00:00 committed by Gerrit Code Review
parent f3bc3bbb55 47172479bb
commit 84266ef050
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
includes/ExtractFormatter.php
View file

@ -44,7 +44,7 @@ class ExtractFormatter extends HtmlFormatter {
* Ignored
* @return string Processed HTML
*/
public function getText( $element = null ) {
public function getText( $element = null ): string {
$this->filterContent();
$text = parent::getText();
if ( $this->plainText ) {
@ -63,7 +63,7 @@ class ExtractFormatter extends HtmlFormatter {
* @param string $html HTML string to process
* @return string Processed HTML
*/
public function onHtmlReady( $html ) {
public function onHtmlReady( string $html ): string {
if ( $this->plainText ) {
$html = preg_replace( '/\s*(<h([1-6])\b)/i',
"\n\n" . self::SECTION_MARKER_START . '$2' . self::SECTION_MARKER_END . '$1',
@ -79,7 +79,7 @@ class ExtractFormatter extends HtmlFormatter {
*
* @return array Array of removed DOMElements
*/
public function filterContent() {
public function filterContent(): array {
$removed = parent::filterContent();
$doc = $this->getDoc();