wmde/WikibaseDatabase — pull request #47 by nemobis (2014-05-07 05:38:49+00:00)
Title: Make deprecation a header

Should be more visible.