jenkins-bot has submitted this change and it was merged.

Change subject: Draft steps 4-6
......................................................................


Draft steps 4-6

Change-Id: I709317c40a4c522e4161cb26fee0c4e2b5a8fc7e
---
M includes/special/SpecialMlpEval.php
1 file changed, 8 insertions(+), 0 deletions(-)

Approvals:
  Physikerwelt: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/includes/special/SpecialMlpEval.php 
b/includes/special/SpecialMlpEval.php
index 6f0e429..a03e27c 100644
--- a/includes/special/SpecialMlpEval.php
+++ b/includes/special/SpecialMlpEval.php
@@ -276,10 +276,18 @@
                                $this->DisplayRendering( 
$mo->getUserInputTex(), 'png' );
                                break;
                        case self::STEP_IDENTIFIERS:
+                               $this->enableMathStyles();
+                               $mo = MathObject::newFromRevisionText( 
$this->oldId, $this->fId );
+                               $md = $mo->getTexInfo();
+                               $this->printSource( var_export( 
$md->getIdentifiers(), true ) );
                                break;
                        case self::STEP_DEFINITIONS:
+                               $this->enableMathStyles();
+                               $mo = MathObject::newFromRevisionText( 
$this->oldId, $this->fId );
+                               $this->printSource( var_export( 
$mo->getRelations(), true ) );
                                break;
                        case self::STEP_FINISHED:
+                               $out->addWikiText( 'thank you' );
                }
 
        }

-- 
To view, visit https://gerrit.wikimedia.org/r/255477
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I709317c40a4c522e4161cb26fee0c4e2b5a8fc7e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MathSearch
Gerrit-Branch: master
Gerrit-Owner: Physikerwelt <w...@physikerwelt.de>
Gerrit-Reviewer: Dyiop <akashworkm...@gmail.com>
Gerrit-Reviewer: Hcohl <hc...@nist.gov>
Gerrit-Reviewer: Physikerwelt <w...@physikerwelt.de>
Gerrit-Reviewer: Whyameri <yusuf.am...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to