|
|
6c08ee9675
|
Revert "Merge tag 'v2.10.6'"
This reverts commit 122ea4ab9e, reversing
changes made to c54a11e250.
|
2024-02-16 23:06:09 -06:00 |
|
|
|
b60c3fe362
|
[core] a load more type hints, and fix bugs revealed by type hints
|
2024-01-20 14:11:00 +00:00 |
|
|
|
bb9ab613ce
|
[everything] bulk set event handler return types to void
|
2024-01-15 11:52:35 +00:00 |
|
|
|
fd1bb21f9d
|
bumps
|
2023-11-11 22:05:28 +00:00 |
|
|
|
c4317cab0d
|
documentation cleanup
|
2023-03-27 16:45:59 +01:00 |
|
|
|
bce2d55744
|
Namespaces are one honking great idea—let's do more of those!
|
2023-01-10 22:44:09 +00:00 |
|
|
|
3d9e32e919
|
new php-cs-fixer
|
2021-12-14 18:32:47 +00:00 |
|
|
|
77f7121e26
|
drop php7.3 support, make use of 7.4 features
|
2021-03-14 23:43:50 +00:00 |
|
|
|
72268d529d
|
Moved user options to separate page, modularized the settings page code so that it can be re-used to simplify and standardize user settings in the same manner as global settings
|
2021-01-16 14:26:17 -06:00 |
|
|
|
19a6b39c70
|
make use of str_starts_with / str_ends_with / str_contains
|
2020-10-25 19:31:58 +00:00 |
|
|
|
3631084afd
|
format
|
2020-01-26 16:38:26 +00:00 |
|
|
|
9eb5acf2dc
|
use strict types
|
2020-01-26 16:27:56 +00:00 |
|
|
|
b568933f45
|
remove extension metadata comments (we have metadata objects now)
|
2019-11-02 20:19:09 +00:00 |
|
|
|
160f673060
|
consistent class naming
|
2019-09-29 17:48:21 +01:00 |
|
|
|
de98e86938
|
ExtensionInfo conversions what have I done
|
2019-08-07 15:40:01 -05:00 |
|
|
|
972b68bdd3
|
Setup constants
|
2019-08-05 09:00:23 -05:00 |
|
|
|
34b05cca7c
|
PSR-2. I'm not a huge fan, but ugly consistency beats no consistency...
|
2019-05-28 17:59:38 +01:00 |
|
|
|
35a4f385b3
|
phpstorm tidying
|
2015-09-12 11:43:28 +01:00 |
|
|
|
7762b2c703
|
do InitExtEvent in bootstrap, before user exists
|
2015-08-03 15:49:38 +01:00 |
|
|
|
b241390fa4
|
Removing the closing PHP "?>" tag as per style guidelines.
|
2014-04-24 22:34:45 -04:00 |
|
|
|
014975884b
|
- Custom page titles rewritten, can now only use website title as prefix or suffix. This is done so admins can use this feature without too much difficulty or without it being bugged.
|
2013-03-10 09:38:06 +01:00 |
|
|
|
8e6fe9f7e3
|
- Random list page now has a title<br>
- Custom Html Headers extension now allows admin to set title prefix & suffix for all pages
|
2013-03-10 08:24:15 +01:00 |
|
|
|
a03e4d5102
|
Custom HTML Headers added
I may also expand it to allow headers specific pages later
|
2013-02-25 01:59:43 +01:00 |
|
