Commit graph

1839 commits

Author SHA1 Message Date
Translation updater bot 7a66312227 Localisation updates from https://translatewiki.net.
Change-Id: I606bdc7dd32f892137bdbfb35f55fdb5fa421535
2021-10-04 08:54:54 +02:00
Translation updater bot fbcaf0c9aa Localisation updates from https://translatewiki.net.
Change-Id: Ia8724716d1a5e1e4f4d9da99b85b4b22c72a46ff
2021-10-01 09:29:17 +02:00
Translation updater bot 208398d96b Localisation updates from https://translatewiki.net.
Change-Id: I58f108045ce27c2bf77c3e5f0818bd700676c06c
2021-09-29 09:01:15 +02:00
Translation updater bot 971ca55488 Localisation updates from https://translatewiki.net.
Change-Id: Idf49765c5ce886675a722bb712a96162aac4a7b4
2021-09-28 08:18:07 +02:00
Translation updater bot f7e760712d Localisation updates from https://translatewiki.net.
Change-Id: I39a24349158a4d57f30312a26b403faf4726a998
2021-09-27 08:33:50 +02:00
Translation updater bot 3f6fc1d9dd Localisation updates from https://translatewiki.net.
Change-Id: I751c4d4d6e972bbfad8d2e656fe362fc3bfa7f8d
2021-09-24 08:25:47 +02:00
Translation updater bot c34a3d9931 Localisation updates from https://translatewiki.net.
Change-Id: I383927110c4eec1dbdeece6c0ff1aec7dad8d2bb
2021-09-23 12:27:03 +02:00
Translation updater bot 1a28b6423d Localisation updates from https://translatewiki.net.
Change-Id: I508bd1915e179ebb375440ce14f34a9b4cd72fbc
2021-09-22 08:10:15 +02:00
Translation updater bot 5d6c62434b Localisation updates from https://translatewiki.net.
Change-Id: I4ed41c20eb7fcbf9e05a7c238a63296f21b21f8f
2021-09-21 08:08:33 +02:00
Translation updater bot a4f9d42705 Localisation updates from https://translatewiki.net.
Change-Id: Icba9f24b2c87ce6e6652044112d44e336adb0eed
2021-09-20 08:17:57 +02:00
Translation updater bot f2cd8ab803 Localisation updates from https://translatewiki.net.
Change-Id: Ie2e7e0053c1c58b10035d48b15919577e9967426
2021-09-17 08:44:35 +02:00
Translation updater bot c42f2b6aae Localisation updates from https://translatewiki.net.
Change-Id: I8cdb41723f2599a2610eb672ae3eb6b1fd240a5b
2021-09-14 08:32:05 +02:00
Translation updater bot 0d2bc7ca17 Localisation updates from https://translatewiki.net.
Change-Id: Icf05d17f79ea9cfaa17fccec25b424c989131b62
2021-09-13 08:28:40 +02:00
Translation updater bot a934ecc3b1 Localisation updates from https://translatewiki.net.
Change-Id: I9ba1b2f7a1d80538502d0ccbf22584c3d0c00ff6
2021-09-10 08:14:57 +02:00
Translation updater bot 4d8242f429 Localisation updates from https://translatewiki.net.
Change-Id: I3981778e72e2ae315f8765cbd294ec9395519269
2021-09-09 08:16:53 +02:00
Translation updater bot 79c7f568f5 Localisation updates from https://translatewiki.net.
Change-Id: I56b56c165580f4ddf7960b94fa39c55d9cd043ca
2021-09-08 08:09:47 +02:00
Translation updater bot 8fe4c04aed Localisation updates from https://translatewiki.net.
Change-Id: I776ede58099f8264e0c61a46bf1bd6446709eace
2021-09-07 08:10:08 +02:00
Translation updater bot 9c8af59d2c Localisation updates from https://translatewiki.net.
Change-Id: I0e6ec717baff0495aabe9f9c3a0f5125ae68335a
2021-09-06 08:19:58 +02:00
jenkins-bot 199cf1edf8 Merge "Add a static analyzer for the filter language" 2021-09-03 19:51:58 +00:00
Translation updater bot c93662e240 Localisation updates from https://translatewiki.net.
Change-Id: Ia0a0f86728aa0431624d9d01c92db9ef0434c427
2021-09-02 08:25:21 +02:00
Translation updater bot fcfd5fbdf6 Localisation updates from https://translatewiki.net.
Change-Id: I20ea2a972c577c87b471ab68a7e503d658b88c23
2021-09-01 08:15:40 +02:00
Translation updater bot 4b01397324 Localisation updates from https://translatewiki.net.
Change-Id: I566cec67a166c1891b4b34d233260e414c1f9503
2021-08-31 08:15:08 +02:00
Sorawee Porncharoenwase 320e3d696f Add a static analyzer for the filter language
This commit adds a class AFPSyntaxChecker which can statically analyze
a filter code to detect the following errors:

- unbound variables (which comes in two modes: conservative and liberal,
  default to conservative)
- unused variables (disabled by default for compatibilty)
- assignment on built-in identifiers
- function application's arity mismatch
- function application's invalid function name
- non-string literal in the first argument of set / set_var

The existing parser and evaluator are modified as follows:

- The new (caching) evaluator no longer needs to perform variable
  hoisting at runtime.
  - Note that for array assignment, this changes the semantics.
- The new parser is more lenient, reducing parsing errors.
  The static analyzer will catch these errors instead, allowing us
  to give a much better error message and reduces the complexity of
  the parser.
  * The parser now allows function name to be any identifier.
  * The parser now allows arity mismatch to occur.
  * The parser now allows the first argument of set to be any expression.

Concretely, obvious changes that users will see are:

1. a := [1]; false & (a[] := 2); a[0] === 1

   would evaluate to true, while it used to evaluate to the undefined value
   due to hoisting

2. f(1)

   will now error with 'f is not a valid function' as opposed to
   'Unexpected "T_BRACE"'

3. length

   will now error with 'Illegal use of built-in identifier "length"'
   as opposed to 'Expected a ('

Appendix: conservative and liberal mode

The conservative mode is completely compatible with the current evaluator.
That is,

false & (a := 1); a

will not deem `a` as unbound, though this is actually undesirable because
`a` would then be bound to the troublesome undefined value.

The liberal mode rejects the above pattern by deeming `a` as unbound.
However, it also rejects

true & (a := 1); a

even though (a := 1) is always executed. Since there are several filters
in Wikimedia projects that rely on this behavior, we default the mode
to conservative for now.

Note that even the liberal mode doesn't really respect lexical scope
appeared in some other programming languages (see also T234690).
For instance:

(if true then (a := 1) else (a := 2) end); a

would be accepted by the liberal checker, even though under lexical scope,
`a` would be unbound. However, it is unlikely that lexical scope
will be suitable for the filter language, as most filters in
Wikimedia projects that have user-defined variable do violate lexical scope.

Bug: T260903
Bug: T238709
Bug: T237610
Bug: T234690
Bug: T231536
Change-Id: Ic6d030503e554933f8d220c6f87b680505918ae2
2021-08-31 03:28:24 +02:00
Translation updater bot 32d5fd0218 Localisation updates from https://translatewiki.net.
Change-Id: Ifcff6e49b0690ebd9dca0a897d49f83f20dbb6a1
2021-08-30 08:19:21 +02:00
Translation updater bot 691e47a4a6 Localisation updates from https://translatewiki.net.
Change-Id: I1111bf7a2410c9fef6f3d4b1db6ba2bd759bd705
2021-08-26 08:35:01 +02:00
Translation updater bot aafbd68667 Localisation updates from https://translatewiki.net.
Change-Id: I24e6daae9e8909c7f0935ba53f02e2901388ce06
2021-08-24 10:16:42 +02:00
Translation updater bot 5c3fbcfb83 Localisation updates from https://translatewiki.net.
Change-Id: I7c4e7977b632f8989b559c28f02d6bc81b7c0e14
2021-08-23 09:03:19 +02:00
Translation updater bot 052240a5a5 Localisation updates from https://translatewiki.net.
Change-Id: I60b9c7326f8d326d932f1ebe3ccc0e51396d727d
2021-08-20 08:23:36 +02:00
Amir Aharoni e03467102c Remove two unused messages
It looks like they were removed in 2008:
6c7b701cc2

Change-Id: I5d91d846523307d8a3adb104503d255d8c726ed8
2021-08-19 22:29:53 +03:00
Translation updater bot d955f2f050 Localisation updates from https://translatewiki.net.
Change-Id: Ieb79b02caef2dafe7d3fe32b588ec1095b3366a2
2021-08-18 08:13:08 +02:00
Translation updater bot ce420438d8 Localisation updates from https://translatewiki.net.
Change-Id: I8b23a371a1884e7242b970db6042bd6234f6f940
2021-08-16 08:15:32 +02:00
Translation updater bot 67528ede69 Localisation updates from https://translatewiki.net.
Change-Id: Iee1758f64d041c6f7b9f12555aa37cdc2b42e50a
2021-08-12 08:09:13 +02:00
Translation updater bot e6eafdf496 Localisation updates from https://translatewiki.net.
Change-Id: I986c4c7c229c0808b6b374a143e42fd6c169faf2
2021-08-11 08:18:59 +02:00
Translation updater bot d512f01e8f Localisation updates from https://translatewiki.net.
Change-Id: I2ed4e9d2c6889b0621010a00eeb10b83444d16b9
2021-08-10 08:06:15 +02:00
Translation updater bot cd7958ba60 Localisation updates from https://translatewiki.net.
Change-Id: Ieb3481038beb857b0eabbae1035af852e92c00cd
2021-08-09 08:22:54 +02:00
Translation updater bot 4be9ef8332 Localisation updates from https://translatewiki.net.
Change-Id: Ia5d42d3b38e18201020a9debb729c753fe61344a
2021-08-06 08:13:09 +02:00
Translation updater bot 6af66eba3d Localisation updates from https://translatewiki.net.
Change-Id: I4e81fa4d3dbe513540fc6470020c3329cebb4211
2021-08-04 08:14:28 +02:00
Translation updater bot 1dfb191585 Localisation updates from https://translatewiki.net.
Change-Id: I89b8759cf45e79debf47d73608f60f8c52bc2ddc
2021-08-03 08:11:19 +02:00
Translation updater bot 455b4d1a6d Localisation updates from https://translatewiki.net.
Change-Id: I05f20f4d65e5f080fef97adcff8cf53339953d51
2021-07-30 08:27:11 +02:00
Translation updater bot 122862cedc Localisation updates from https://translatewiki.net.
Change-Id: I637a0f345e22bb1c41ac9c167437562a94e90310
2021-07-26 08:11:26 +02:00
Translation updater bot 274be621ef Localisation updates from https://translatewiki.net.
Change-Id: If660263b08f22a3d8cd84126ed3d108ea136e6ee
2021-07-22 08:12:51 +02:00
Translation updater bot ff5ada68aa Localisation updates from https://translatewiki.net.
Change-Id: I3e36ba4d1e8b53e439b9329dbce9f41391fd949d
2021-07-19 08:15:08 +02:00
Translation updater bot 708ae9a76d Localisation updates from https://translatewiki.net.
Change-Id: Ia7185f1946c5cb08a3fef63708b12ab3f08a8416
2021-07-16 08:43:08 +02:00
Translation updater bot 6133a26f66 Localisation updates from https://translatewiki.net.
Change-Id: Iea0fda8e87dddb1c08c9f7653ea05cf485418c62
2021-07-15 08:11:39 +02:00
Translation updater bot ee583dc212 Localisation updates from https://translatewiki.net.
Change-Id: Ia10387670f4da80ba279d00321cd2e278333bb13
2021-07-14 08:02:33 +02:00
Translation updater bot ab1128afde Localisation updates from https://translatewiki.net.
Change-Id: I2bc8ce57e939be53d151f264b7b916f546c8798b
2021-07-13 08:11:20 +02:00
Translation updater bot 28b09f6e21 Localisation updates from https://translatewiki.net.
Change-Id: I8620632dcc352ab4a94e5c9bef5945dcec2838c2
2021-07-12 08:05:46 +02:00
Translation updater bot 47158f6d26 Localisation updates from https://translatewiki.net.
Change-Id: Icd7b1407f9216d7d15ba425995d806f0ccf62626
2021-07-08 08:46:21 +02:00
Translation updater bot 3b699cd53b Localisation updates from https://translatewiki.net.
Change-Id: I6fa144789bdac812e5cd77f16d82b793dba4676c
2021-07-07 08:07:35 +02:00
Translation updater bot 66103a441e Localisation updates from https://translatewiki.net.
Change-Id: I49142d8ba7c7dfba61c50d7bf8bc7b8c79d2ab34
2021-07-06 08:38:05 +02:00