Use Html::element() to generate the element; the url and the title attribute are...
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Sat, 12 Mar 2011 13:45:12 +0000 (13:45 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Sat, 12 Mar 2011 13:45:12 +0000 (13:45 +0000)
commit2fecd3ac708788b5e720deb6fd983ba33ac1856d
tree741181c2e53162b85ccfc7763f3d1e9857dea0a1
parentc5075db80da7159e6e4d9df2bbdf79606dc17613
Use Html::element() to generate the element; the url and the title attribute are now build only when really necessary
includes/diff/DifferenceEngine.php