jenkins-bot has submitted this change and it was merged. Change subject: Removes dead code ......................................................................
Removes dead code Change-Id: I31cff474041e13c6882ce83d7fea45ecd518450f --- M modules/ve/pageTarget/ve.init.mw.ProofreadPagePageTarget.js 1 file changed, 0 insertions(+), 2 deletions(-) Approvals: Jforrester: Looks good to me, approved jenkins-bot: Verified diff --git a/modules/ve/pageTarget/ve.init.mw.ProofreadPagePageTarget.js b/modules/ve/pageTarget/ve.init.mw.ProofreadPagePageTarget.js index 40baa84..6397a92 100644 --- a/modules/ve/pageTarget/ve.init.mw.ProofreadPagePageTarget.js +++ b/modules/ve/pageTarget/ve.init.mw.ProofreadPagePageTarget.js @@ -154,8 +154,6 @@ doc.createElement( 'footer' ) ]; - sectionNodes[ 0 ].setAttribute( 'title', 'Hello' ); - function bubbleUp( node ) { var anchor; while ( node.parentNode !== doc.body ) { -- To view, visit https://gerrit.wikimedia.org/r/295725 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I31cff474041e13c6882ce83d7fea45ecd518450f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/ProofreadPage Gerrit-Branch: master Gerrit-Owner: Tpt <thoma...@hotmail.fr> Gerrit-Reviewer: Esanders <esand...@wikimedia.org> Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits