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
