Revert "Release 7.1.0"

This reverts commit aa4aa15c54.

docs/fr/assets/base.js

@@ -0,0 +1,14 @@
+(function($){
+
+	hljs.initHighlightingOnLoad();
+
+	$(document).ready(function(){
+		$('.col-right-wrapper').stick_in_parent({
+			parent: '.layout-content'
+		});
+		$('body').scrollspy({
+			target: '.table-of-contents'
+		});
+	});
+
+})(jQuery);