|
|
6579930638
|
Revamp MetadataStore API (#2477)
This would be a lot less messy if we had generics, but no tango.
|
2018-10-12 12:16:21 +01:00 |
|
|
|
4f8e4f0522
|
Add EOF newlines where missing (bulk) (#1836)
This should solve issues with people making GitHub PRs and having the web editor messing things up. GitHub Web Editor sucks :(
|
2017-12-20 11:56:36 +00:00 |
|
|
|
c3b8be3f60
|
and more typehints
|
2017-07-14 10:56:51 +01:00 |
|
|
|
51b0673b4b
|
Bite the bullet and enable strict types on everything
|
2017-06-07 12:53:16 +01:00 |
|
|
|
a98da3bab1
|
Renamed old getID() calls to getId()
|
2014-12-07 15:21:32 +01:00 |
|
|
|
8d40f843cf
|
MainLogger can now have debug level disabled
|
2014-05-29 00:08:02 +02:00 |
|
|
|
683ab8d2cd
|
Fixed invalid metadata and updated weak references on PluginManager
|
2014-05-23 22:30:37 +02:00 |
|
|
|
99818a26f5
|
Added object metadata for Plugins, use WeakMap on perms
|
2014-05-19 20:07:27 +02:00 |
|
