wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-25 03:18:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
696 commits 138 branches 0 tags 114 MiB
HTML 93.4%
PHP 3.5%
JavaScript 2.9%
Less 0.2%
Go to file
Ed Sanders 17ba57edd6 Don't trust RESTBase to give us the correct revision 
As we do in VE, extract the revid from the document.

Unlike in VE we don't need to throw an error if there is
a mis-match, as we will likely be able to make the edit anyway.
Just use the ID we got from the document.

Log a warning if there is ever an ID mis-match so we
can evaluate if this check is actually needed.

Change-Id: I94c37980524a9faabac49495903a5262387af562
2020-08-24 17:24:50 +01:00
.phan build: Add mediawiki/mediawiki-phan-config 2020-06-10 22:21:07 +02:00
i18n Localisation updates from https://translatewiki.net. 2020-08-17 08:42:24 +02:00
images Add beta feature preference 2020-02-21 15:20:48 +00:00
includes Don't trust RESTBase to give us the correct revision 2020-08-24 17:24:50 +01:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules Re-apply new reply API patches (again) 2020-08-19 20:05:42 +00:00
tests Re-apply new reply API patches (again) 2020-08-19 20:05:42 +00:00
.eslintrc.json build: Update devDependencies 2020-06-09 19:42:05 +01:00
.gitignore Add .gitignore file 2019-10-10 21:21:00 +01:00
.gitreview Add .gitreview 2019-10-09 21:18:34 +00:00
.phpcs.xml The Great Parser JS to PHP port of 2020!* 2020-05-12 12:33:04 +01:00
.stylelintrc.json build: Updating mediawiki/mediawiki-codesniffer to 29.0.0 2020-01-14 04:55:38 +00:00
CODE_OF_CONDUCT.md build: Updating npm dependencies 2020-01-09 06:43:15 +00:00
composer.json Improve ThreadItem documentation 2020-06-26 14:56:19 +02:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
extension.json Re-apply new reply API patches (again) 2020-08-19 20:05:42 +00:00
Gruntfile.js build: Update devDependencies 2020-06-09 19:42:05 +01:00
package-lock.json build: Updating grunt to 1.2.1 2020-07-18 05:12:33 +00:00
package.json build: Updating grunt to 1.2.1 2020-07-18 05:12:33 +00:00