OutputPage: Remove 'mJQueryDone' property

Left by c27b36277b, unused since 32377424b9.

Change-Id: I475cd40fa83b81b817380e981af0cbdd2e359fd0

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index f2373d9..ecc719a 100644 (file)
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -251,11 +251,6 @@ class OutputPage extends ContextSource {
         */
        protected $styles = [];
 
-       /**
-        * Whether jQuery is already handled.
-        */
-       protected $mJQueryDone = false;
-
        private $mIndexPolicy = 'index';
        private $mFollowPolicy = 'follow';
        private $mVaryHeader = [