Index: trunk/data/validator/deprecated.mapcss
===================================================================
--- trunk/data/validator/deprecated.mapcss	(revision 7623)
+++ trunk/data/validator/deprecated.mapcss	(revision 7630)
@@ -314,2 +314,9 @@
   fixDeleteObject: this;
 }
+
+/* see #8281 */
+*[sport=diving] {
+  throwWarning: tr("{0} is deprecated", "{0.tag}"); 
+  suggestAlternative: "sport=scuba_diving";
+  suggestAlternative: "sport=cliff_diving";
+}