From 1b6d9eeaea71ef4cd2b99f9a97b9aa538c48aad4 Mon Sep 17 00:00:00 2001 From: Timo Tijhof Date: Mon, 18 Jul 2016 19:28:48 +0100 Subject: [PATCH] OutputPage: Remove 'mJQueryDone' property Left by c27b36277b, unused since 32377424b9. Change-Id: I475cd40fa83b81b817380e981af0cbdd2e359fd0 --- includes/OutputPage.php | 5 ----- 1 file changed, 5 deletions(-) diff --git a/includes/OutputPage.php b/includes/OutputPage.php index f2373d97f4..ecc719a044 100644 --- 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 = [ -- 2.20.1