diff --git a/lib/OpenLayers.js b/lib/OpenLayers.js
index be795884f4..12d6977a52 100644
--- a/lib/OpenLayers.js
+++ b/lib/OpenLayers.js
@@ -117,3 +117,4 @@ if (typeof(_OPENLAYERS_SFL_) == "undefined") {
     if (allScriptTags) document.write(allScriptTags);
     })();
 }
+OpenLayers.VERSION_NUMBER="$Revision$";