Merge "Consistently use '@deprecated since <version>'"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 17 Apr 2014 06:12:11 +0000 (06:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 17 Apr 2014 06:12:11 +0000 (06:12 +0000)
commit45e0034abb78398681af5cd2c3e727f43c514fea
treecf35e8b5244c3b00a011bf6cee683729669b23ad
parentdf80689c53f7aade4ed13bddbd70a783844266b8
parent59002d8935e48d1e6c0640b0f7102c9ff6dd2ef5
Merge "Consistently use '@deprecated since <version>'"
includes/Skin.php
includes/Title.php