Skip to content
Github mirror of MediaWiki extension Scribunto - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
Branch: master
Clone or download
AaronSchulz and jenkins-bot Use "vary-revision-sha1" over "vary-revision" in getContentInternal()
These allows for some chance of avoiding extra save parses.
Also add wfDebug() call to mention the vary-* flag.

Bug: T226432
Depends-on: Idcd30a3fa3f7012dac76ce8bbf46625453ae331f
Change-Id: Id3bc207382aac90bd63df2d83d6334aae9b2477d
Latest commit e5097e6 Jun 28, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.phan Remove PHP entry point Jun 21, 2019
i18n Localisation updates from https://translatewiki.net. Jul 7, 2019
includes Use "vary-revision-sha1" over "vary-revision" in getContentInternal() Jul 18, 2019
modules build: Update eslint-config-wikimedia from 0.8.1 to 0.11.0 Apr 12, 2019
tests LuaInterpreterTest: Limit the busy loop Jun 20, 2019
.eslintrc.json build: Set "root": true, in .eslintrc.json Dec 18, 2018
.gitignore build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint May 7, 2019
.gitreview Whoops, track not trace Oct 25, 2016
.minus-x.json Move classes into includes/ Apr 9, 2018
.phpcs.xml Add method scope visibility Nov 19, 2018
.stylelintrc.json Use json extension for .stylelintrc Aug 19, 2017
CODE_OF_CONDUCT.md build: Updating mediawiki/mediawiki-codesniffer to 22.0.0 Sep 3, 2018
COPYING Specify license and add COPYING file Sep 16, 2016
Gruntfile.js build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint May 7, 2019
Scribunto.constants.php Remove PHP entry point Jun 21, 2019
Scribunto.magic.php Use short array syntax Jun 16, 2017
Scribunto.namespaces.php
composer.json build: Upgrade phan-taint-check-plugin from 1.5.x to 2.0.1 Jul 11, 2019
extension.json Rescue PHP comments into config descriptions Jun 20, 2019
package-lock.json build: Updating npm dependencies for security issues Jun 8, 2019
package.json build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint May 7, 2019
You can’t perform that action at this time.