Go to file
Daimona Eaytoy 23fe973544 Remove pointless number cast
If the number is int there's not need to intval it, and if it's float
there's no need to floatval... Just use it to determine the internal
data type, like it happens for sum and sub.

Change-Id: Ie00c4bb4e67ad1eface0cea3eb42d04aa5fb39cc
2019-04-14 10:49:09 +02:00
.phan Migrate to new phan 2019-03-16 09:41:23 +00:00
db_patches Fix issues with SQLite 2019-03-01 10:44:58 +01:00
i18n Add missing action- messages 2019-04-12 14:20:46 +02:00
includes Remove pointless number cast 2019-04-14 10:49:09 +02:00
maintenance Merge "Beautify old, broken abuse_filter_history rows" 2019-04-10 05:11:38 +00:00
modules Restore highlighting of all keywords, functions, etc. 2019-03-29 10:44:02 +01:00
tests Tweak coverage part 2 2019-04-13 19:26:01 +02:00
.eslintrc.json build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0 2019-04-03 15:44:45 -07:00
.gitignore build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0 2019-04-03 15:44:45 -07:00
.gitreview Whoops, track not trace 2016-10-24 17:01:30 -07:00
.phpcs.xml Merge "Don't use wgLang and wgContLang" 2019-03-17 09:53:16 +00:00
.stylelintrc.json build: Bump devDependencies to latest 2018-02-10 21:00:53 +00:00
AbuseFilter.alias.php Add aliases for Serbian language 2018-12-24 02:16:55 +00:00
abusefilter.tables.pg.sql Fix database schema for PostgreSQL 2018-09-29 12:12:52 +02:00
abusefilter.tables.sql abuse_filter_log table only uses tinyint not int for namespace ID 2014-03-04 02:24:27 +00:00
abusefilter.tables.sqlite.sql Fix SQLite syntax errors 2018-06-26 14:50:57 +02:00
CODE_OF_CONDUCT.md build: Updating mediawiki/phan-taint-check-plugin to 1.4.0 2018-09-01 05:29:54 +00:00
composer.json Migrate to new phan 2019-03-16 09:41:23 +00:00
COPYING Add COPYING 2014-01-22 21:21:10 +00:00
extension.json Remove $wgAbuseFilterRuntimeProfiling 2019-03-23 11:31:18 +00:00
Gruntfile.js build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0 2019-04-03 15:44:45 -07:00
hooks.txt Add a new method and hook for static variables 2018-12-30 18:15:33 +01:00
package.json build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0 2019-04-03 15:44:45 -07:00