[MediaWiki-commits] [Gerrit] Remove dead code - change (mediawiki/core)

2015-09-24 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove dead code .. Remove dead code Change-Id: Iafcb15a8843889bf7fbfb191b64d86e9f8561185 --- M includes/api/ApiQueryDeletedRevisions.php 1 file changed,

[MediaWiki-commits] [Gerrit] Remove dead code - change (mediawiki/core)

2015-09-24 Thread Jeroen De Dauw (Code Review)
Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/240746 Change subject: Remove dead code .. Remove dead code Change-Id: Iafcb15a8843889bf7fbfb191b64d86e9f8561185 --- M includes/api/ApiQueryD

[MediaWiki-commits] [Gerrit] Remove dead code - change (mediawiki/core)

2013-09-01 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove dead code .. Remove dead code Accidentally left in dabbbc7d2a88ceb9efce5742af05e848dbcaa66e Change-Id: I58e65ca7ad23d00992f66f3bcee879e662b62ef0 -

[MediaWiki-commits] [Gerrit] Remove dead code - change (mediawiki/core)

2013-08-30 Thread Mattflaschen (Code Review)
Mattflaschen has uploaded a new change for review. https://gerrit.wikimedia.org/r/82080 Change subject: Remove dead code .. Remove dead code Accidentally left in dabbbc7d2a88ceb9efce5742af05e848dbcaa66e Change-Id: I58e65ca7

[MediaWiki-commits] [Gerrit] Remove dead code. - change (mediawiki/core)

2013-02-26 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove dead code. .. Remove dead code. $initialTime was never used. It was probably a clever trick for an old time where ProfilerSimple used globals. Cha

[MediaWiki-commits] [Gerrit] Remove dead code. - change (mediawiki/core)

2013-02-20 Thread Platonides (Code Review)
Platonides has uploaded a new change for review. https://gerrit.wikimedia.org/r/50124 Change subject: Remove dead code. .. Remove dead code. $initialTime was never used. It was probably a clever trick for an old time where P