From 448a3f0cce7623f4c1d9ce7edca1cc4d63a2ed08 Mon Sep 17 00:00:00 2001
From: Lucas Werkmeister <lucas.werkmeister@wikimedia.de>
Date: Fri, 21 Oct 2022 16:20:41 +0200
Subject: [PATCH] Remove DATAVALUES_NUMBER_VERSION
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

We’d already forgotten to update it with the previous two releases, and
we’ve also removed such constants from other data-values libraries.
---
 Number.php    | 8 --------
 composer.json | 3 ---
 2 files changed, 11 deletions(-)
 delete mode 100644 Number.php

diff --git a/Number.php b/Number.php
deleted file mode 100644
index 9fb9231..0000000
--- a/Number.php
+++ /dev/null
@@ -1,8 +0,0 @@
-<?php
-
-if ( defined( 'DATAVALUES_NUMBER_VERSION' ) ) {
-	// Do not initialize more than once.
-	return 1;
-}
-
-define( 'DATAVALUES_NUMBER_VERSION', '0.10.2' );
diff --git a/composer.json b/composer.json
index 57150eb..4c9ed3d 100644
--- a/composer.json
+++ b/composer.json
@@ -34,9 +34,6 @@
 		"mediawiki/mediawiki-codesniffer": "34.0.0"
 	},
 	"autoload": {
-		"files" : [
-			"Number.php"
-		],
 		"psr-0": {
 			"DataValues\\": "src",
 			"ValueFormatters\\": "src",